From 5c6bc9e3f13ec5e91d0c188429bf60ceb632c5da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 18:48:21 +0000
Subject: Added link to pdf file.

---
 html/doc.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 221fdb3f..d99c2dc8 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -5,11 +5,11 @@ Here is the
 <?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form.
 <br>
 For printing you can download the 
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>.
+<?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.pdf", "pdf") ?> -->
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf file") ?>.
 </p>
 
 <p>
-- 
cgit v1.2.3