From bd41379f43f1ff46656f54b24d969aefc20614c3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Nov 1999 15:59:09 +0000
Subject: Recommend the ps file over the pdf.

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

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index e8c80f30..9dc79e44 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -2,13 +2,11 @@
 
 <p>
 Here is the  
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form.
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form, as included in the distribution.
 <br>
 For printing you can download the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> or
-<!-- <?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.ps.gz", "gzipped ps file") ?> 
+(recommended) or the 
 <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
 </p>
 
-- 
cgit v1.2.3