aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:54:57 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:54:57 +0000
commit95fd780e102876b5c8f4b9b18a67db5242fbca4a (patch)
treea1f9e4cd7a3411f52a540a36a527ee59a056c118 /html
parentd218a7d0262594df0b831e541b46dc3be7f2a393 (diff)
Minor
Diffstat (limited to 'html')
-rw-r--r--html/develdownload.phtml2
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>