From fc0012cc06ef58ce35bd827afb77450c66cd1270 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 12:39:36 +0000
Subject: Use short cut links for manual, and remove 3.3 from doc links.

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

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index 51d084a9..6c727af3 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -4,11 +4,9 @@
 There are two manuals for Proof General:
 </p>
 <ul>
-<li> the  
-<?php htmlshow("ProofGeneral-3.3/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> 
+<li> the <a href="userman">Proof General user manual</a>
 </li>
-<li> the
-<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?>
+<li> the <a href="adaptingman">Adapting Proof General manual"</a>
 </li>
 </ul>
 <p>
@@ -19,12 +17,12 @@ proof systems, it's not needed for ordinary use.
 For printing you can download:
 <ul>
 <li>
-<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
-<?php download_link("ProofGeneral-3.3/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
+<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
 </li>
 <li>
-<?php download_link("ProofGeneral-3.3/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
-<?php download_link("ProofGeneral-3.3/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
+<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
 </li>
 </ul>
 <p>
-- 
cgit v1.2.3