diff options
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 10 |
1 files changed, 5 insertions, 5 deletions
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> |