From a29ef320617289cd9318d0f96b91e89fcfd46819 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 12:04:29 +0000
Subject: Link to latest version for manuals

---
 html/develdownload.php | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index 69f3bb9e..b31d9953 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -32,15 +32,15 @@ updated from that of the
 </p>
 <p>
 Here is the pre-release 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") ?> 
+<?php htmlshow("ProofGeneral-latest/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral-latest/doc/ProofGeneral.ps.gz", "ps") ?> 
 or  
-<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+<?php download_link("ProofGeneral-latest/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") ?> 
+<?php htmlshow("ProofGeneral-latest/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral-latest/doc/PG-adapting.ps.gz", "ps") ?> 
 or  
-<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
+<?php download_link("ProofGeneral-latest/doc/PG-adapting.pdf", "pdf") ?>.
 </p>
 
 
-- 
cgit v1.2.3