From f492a2622fb1f8136090f41279fc9ba57f01a5f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Aug 1999 16:25:46 +0000
Subject: Tweaks for 2.1 release

---
 html/doc.phtml | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 0daca9ae..7f1f9a10 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -1,15 +1,8 @@
 <h2>Manual</h2>
 
 <p>
-Full documentation for Proof General is included in the <?php
-link_root("download","download.") ?> When running Proof General the
-manual is available from the "Proof General" menu.  It should also
-appear in the system info pages.
-</p>
-
-<p>
-For convenience, the manual is available in HTML 
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","Proof General Manual") ?>
+Here is the Proof 
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form.
 <br>
 For printing you can download the 
 <?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>.
@@ -18,12 +11,21 @@ For printing you can download the
 <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.eps.eps", "gzipped eps") ?> -->
 <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> -->
 </p>
+
 <p>
-<i>Warning:</i> the manual above is taken from the current
+<i>Warning:</i> the links above are for the current
 pre-release and may be updated from the documentation included
 in the last stable release.
 </p>
 
+<p>
+Full documentation for Proof General is included in the <?php
+link_root("download","download.") ?> When running Proof General the
+manual is available from the "Proof General" menu.  It should also
+appear in the system info pages.
+</p>
+
+
 <p>
 You can discuss Proof General with other users and receive
 announcements by joining our <a href="mailinglist.phtml">mailing
-- 
cgit v1.2.3