From 0f1805c99b0becc3261df69a553778a2d7625ab5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:22:04 +0000
Subject: Typos/fixes.

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

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index b8c1cf54..b06b6dd2 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -33,7 +33,7 @@ the system Info pages.
 If you're considering developing Proof General, please check
 that you are using the documentation for the most recent
 development version of Proof General, available with the
-on the <a href="develdownload">development download</a>.
+<a href="develdownload">development download</a>.
 </p>
 
 <p>
-- 
cgit v1.2.3