diff options
| author | David Aspinall | 2002-07-18 12:39:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-18 12:39:36 +0000 |
| commit | fc0012cc06ef58ce35bd827afb77450c66cd1270 (patch) | |
| tree | a9cac02c8218d29d9edd4ab24273e04d7c788f75 | |
| parent | 7f3e8838b42d77fd7577765ddc86a4666346d37a (diff) | |
Use short cut links for manual, and remove 3.3 from doc links.
| -rw-r--r-- | html/doc.html | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/html/doc.html b/html/doc.html index 51d084a9..6c727af3 100644 --- a/html/doc.html +++ b/html/doc.html @@ -4,11 +4,9 @@ There are two manuals for Proof General: </p> <ul> -<li> the -<?php htmlshow("ProofGeneral-3.3/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> +<li> the <a href="userman">Proof General user manual</a> </li> -<li> the -<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?> +<li> the <a href="adaptingman">Adapting Proof General manual"</a> </li> </ul> <p> @@ -19,12 +17,12 @@ proof systems, it's not needed for ordinary use. For printing you can download: <ul> <li> -<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and -<?php download_link("ProofGeneral-3.3/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or +<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and +<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or </li> <li> -<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.pdf", "User manual [pdf]") ?>, -<?php download_link("ProofGeneral-3.3/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?> +<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "User manual [pdf]") ?>, +<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?> </li> </ul> <p> |