diff options
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> |