From f3d6e0609c97318445d526dc431a782b8a9ea3aa Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 1 Jun 2000 14:53:42 +0000
Subject: Added links to latest manual

---
 html/develdownload.phtml | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'html/develdownload.phtml')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index 1d7b87ef..63eb1597 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -19,9 +19,27 @@ reporting problems.
 Please <a href="register.phtml">register</a> if you haven't done so already.
 </p>
 
+
 <!-- WARNING!  Line below automatically edited by makefile. -->
-<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000530</a></h2>
+<h2><a name="doc">Manual for ProofGeneral-3.2pre000530</a></h2>
 <!-- End Warning. -->
+<p>
+The manual included with the pre-release may be
+updated from that of the 
+<?php link_root("doc","last stable release") ?>.
+</p>
+<p>
+You can see the current manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General Manual") ?> or download the 
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
+or the 
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
+</p>
+
+
+<!-- WARNING!  Line below automatically edited by makefile. -->
+<h2><a name="prerel">Pre-release: ProofGeneral-3.2pre000530</a></h2>
+
 
 <p>
 Check the 
-- 
cgit v1.2.3