From 903124edaedfe71173f306439d2c43d73a972362 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 18:08:54 +0000
Subject: Link for printing download is just .ps.gz now.

---
 html/doc.phtml | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 5f90f3f9..7f11e471 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -8,19 +8,18 @@ appear in the system info pages.
 </p>
 
 <p>
-For convenience, the documentation is also available in HTML 
+For convenience, the manual is available in HTML 
 <?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","","html") ?>
 <br>
-You can download the 
-<a href="ProofGeneral/doc/ProofGeneral.dvi">dvi</a>,
-<a href="ProofGeneral/doc/ProofGeneral.ps">ps</a>,
-or
-<a href="ProofGeneral/doc/ProofGeneral.pdf">pdf</a> 
-versions for printing.
+For printing you can download the 
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>.
+<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.dvi", "dvi") ?>  -->
+<!-- plus front page image   -->
+<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.eps.eps", "gzipped eps") ?> -->
+<!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> -->
 </p>
-
 <p>
-<it>Note:</it> the documentation above is taken from the current
+<it>Warning:</it> the manual above is taken from the current
 pre-release and may be updated from the documentation included
 in the last stable release.
 </p>
-- 
cgit v1.2.3