diff options
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index 5f90f3f9..7f11e471 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -8,19 +8,18 @@ appear in the system info pages. </p> <p> -For convenience, the documentation is also available in HTML +For convenience, the manual is available in HTML <?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","","html") ?> <br> -You can download the -<a href="ProofGeneral/doc/ProofGeneral.dvi">dvi</a>, -<a href="ProofGeneral/doc/ProofGeneral.ps">ps</a>, -or -<a href="ProofGeneral/doc/ProofGeneral.pdf">pdf</a> -versions for printing. +For printing you can download the +<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>. +<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.dvi", "dvi") ?> --> +<!-- plus front page image --> +<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.eps.eps", "gzipped eps") ?> --> +<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> --> </p> - <p> -<it>Note:</it> the documentation above is taken from the current +<it>Warning:</it> the manual above is taken from the current pre-release and may be updated from the documentation included in the last stable release. </p> |