From 35642157dc5b17bb06f803189ab9c7dff01c7425 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 13:50:48 +0000
Subject: Simple hit counter

---
 html/doc.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index 7f11e471..cfc68d30 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -9,7 +9,7 @@ appear in the system info pages.
 
 <p>
 For convenience, the manual is available in HTML 
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","","html") ?>
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","here.","Proof General Manual") ?>
 <br>
 For printing you can download the 
 <?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "gzipped ps file") ?>.
-- 
cgit v1.2.3