From f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 18 Jul 2002 12:46:36 +0000
Subject: Fix typo

---
 html/doc.html | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

diff --git a/html/doc.html b/html/doc.html
index 6c727af3..cb259e0c 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -6,14 +6,12 @@ There are two manuals for Proof General:
 <ul>
 <li> the <a href="userman">Proof General user manual</a>
 </li>
-<li> the <a href="adaptingman">Adapting Proof General manual"</a>
+<li> the <a href="adaptingman">Adapting Proof General manual</a>
 </li>
 </ul>
 <p>
 The second manual gives instructions on how to adapt Proof General to new 
 proof systems, it's not needed for ordinary use.
-</p>
-<p>
 For printing you can download:
 <ul>
 <li>
@@ -27,16 +25,14 @@ For printing you can download:
 </ul>
 <p>
 The PostScript files are recommended over the PDF.
-Both manuals (in HTML and Info formats) are included in the
+Both manuals (HTML and Info formats) are included in the
 <a href="download">download</a>. When running Proof General the manual
 is available from the "Proof General" menu.  It should also appear in
 the system Info pages.
-</p>
-<p>
 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 
-<a href="develdownload">here</a>.
+development version of Proof General, available with the
+on the <a href="develdownload">development download</a>.
 </p>
 
 <p>
-- 
cgit v1.2.3