Tweaks for 2.1 release

1 files changed, 12 insertions, 10 deletions

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,13 +11,22 @@ 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
 lists</a>.