diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:54:57 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-23 16:54:57 +0000 |
commit | 95fd780e102876b5c8f4b9b18a67db5242fbca4a (patch) | |
tree | a1f9e4cd7a3411f52a540a36a527ee59a056c118 /html | |
parent | d218a7d0262594df0b831e541b46dc3be7f2a393 (diff) |
Minor
Diffstat (limited to 'html')
-rw-r--r-- | html/develdownload.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index f1ed731e..cb6c78ef 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -38,7 +38,7 @@ and the new separate "adapting" manual, in <?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>, <?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> or -<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>, +<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>. </p> |