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/about.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/about.html')

diff --git a/html/about.html b/html/about.html
index 7641676d..ab04202e 100644
--- a/html/about.html
+++ b/html/about.html
@@ -28,7 +28,7 @@ and the <a href="http://www.lfcs.informatics.ed.ac.uk">LFCS</a>.
 <p>
 David Aspinall designed the web pages and graphics for Proof General.
 <br>
-Check the <a href="gallery.phtml">gallery</a> for more publicity
+Check the <a href="gallery.html">gallery</a> for more publicity
 pictures!
 </p>
 <p>
@@ -43,12 +43,12 @@ the Proof General program, see the
 <p>
 Have you any questions, comments, or suggestions about Proof General?
 <br>
-Send us a message using <a href="feedback.phtml">this form</a>.
+Send us a message using <a href="feedback.html">this form</a>.
 </p>
 
 <p>
 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