From 650e213721a2b8212383a53b4f3b0cc665ea53c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 18:24:24 +0000
Subject: Clarify formats available.

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

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index d99c2dc8..e8c80f30 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -19,17 +19,17 @@ 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.
+The manual (in HTML and Info formats), as well as other documentation,
+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>.
+list</a>.
 </p>
 
 <hr>
-- 
cgit v1.2.3