From d5f1c1dd381a3beacd0a464d1466f0a959b4f5d3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:36:06 +0000
Subject: Link to two manuals now.

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

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 8e00ca9e..bb0de678 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -2,7 +2,7 @@
 
 <p>
 Here is the  
-<?php htmlshow("ProofGeneral-3.1/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form, as included in the distribution.
+<?php htmlshow("ProofGeneral-3.1/doc/ProofGeneral_toc.html","Proof General user manual","Proof General Manual") ?> in HTML form, as included in the distribution.
 <br>
 For printing you can download the 
 <?php download_link("ProofGeneral-3.1/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
-- 
cgit v1.2.3