From 2499cce984c20e3b2528d4a7268c0f682144fd3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 17:58:26 +0000
Subject: Updated web pages for 3.2 release

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

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index 478bf88d..b300dfba 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -1,20 +1,33 @@
 <h2>Manual</h2>
 
 <p>
-Here is the  
-<?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") ?> 
-(recommended) or the 
-<?php download_link("ProofGeneral-3.1/doc/ProofGeneral.pdf", "pdf file") ?>.
+Two manuals are included in the distribution: 
+the  
+<?php htmlshow("ProofGeneral-3.2/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?>
+and the 
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?>, which
+gives instructions on how to adapt Proof General to new systems.
+</p>
+<p>
+For printing you can download:
+<ul>
+<li>
+<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
+<?php download_link("ProofGeneral-3.2/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
+</li>
+<li>
+<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
+<?php download_link("ProofGeneral-3.2/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
+</li>
+</ul>
+<p>
+The PostScript files are recommended over the PDF.
 </p>
-
 <p>
-The manual (in HTML and Info formats), as well as other documentation,
-is 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.
+Note that both manuals (in 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>
 
 
-- 
cgit v1.2.3