From 716263806e4d240ce49287baad58feaa96c292bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 2 Jul 2002 12:26:12 +0000
Subject: Give link to develdownload for latest docs

---
 html/doc.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index 3f092ade..f072c0fd 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -36,7 +36,12 @@ Note that both manuals (in HTML and Info formats) are included in the
 is available from the "Proof General" menu.  It should also appear in
 the system Info pages.
 </p>
-
+<p>
+If you're considering developing Proof General, please check
+that you are using the documentation for the most recent
+development version of Proof General, available 
+<a href="develdownload">here</a>.
+</p>
 
 <p>
 You can discuss Proof General with other users and receive
-- 
cgit v1.2.3