diff options
| author | David Aspinall | 1999-06-28 18:08:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-28 18:08:54 +0000 |
| commit | 903124edaedfe71173f306439d2c43d73a972362 (patch) | |
| tree | 066141b95f9e50b5d6e25f6a699f36025c73af4a /html/doc.phtml | |
| parent | 102dc3d60e7d83d1008e239d9030090b362cb508 (diff) | |
Link for printing download is just .ps.gz now.
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> |