From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

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

(limited to 'html/doc.html')

diff --git a/html/doc.html b/html/doc.html
index e8ae6b98..5ad6b433 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -20,7 +20,7 @@ menu.  It should also appear in the system Info pages.
 
 <p>
 You can discuss Proof General with other users and receive
-announcements by joining our <a href="mailinglist.phtml">mailing
+announcements by joining our <a href="mailinglist.html">mailing
 list</a>.
 </p>
 
-- 
cgit v1.2.3