From a1a570c404946b98a115b0bd3455d243d00685b1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2002 18:54:39 +0000
Subject: Fix more broken front page links

---
 html/about.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html')

diff --git a/html/about.html b/html/about.html
index e57b88aa..d5be7bc7 100644
--- a/html/about.html
+++ b/html/about.html
@@ -10,7 +10,7 @@ the code was made generic.  The generic basis was developed by
 Thomas Kleymann, Dilip Sequeira, Healfdene Goguen and David Aspinall.
 The current authors and maintainers of the various instantiations of
 Proof General are mentioned on the 
-<a href="main.html">front page</a>.
+<a href="main">front page</a>.
 </p>
 <p> 
 The Proof General project was coordinated until October 1998 by
@@ -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.html">this form</a>.
+Send us a message using <a href="feedback">this form</a>.
 </p>
 
 <p>
 Discuss Proof General with other users and receive
-announcements by joining our <a href="mailinglist.html">mailing
+announcements by joining our <a href="mailinglist">mailing
 list</a>.
 </p>
 
-- 
cgit v1.2.3