From 95fd780e102876b5c8f4b9b18a67db5242fbca4a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 16:54:57 +0000
Subject: Minor

---
 html/develdownload.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
 
 
-- 
cgit v1.2.3