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/develdownload.phtml | 15 ++++++++++-----
 html/doc.phtml           |  2 +-
 2 files changed, 11 insertions(+), 6 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index f5e22170..e6dd3dbf 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -29,11 +29,16 @@ updated from that of the
 <?php link_root("doc","last stable release") ?>.
 </p>
 <p>
-You can see the current manual in
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General Manual") ?> or download the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
-or the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
+You can see the current documentation: the user manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+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") ?>,
 </p>
 
 
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