From 6c8a7016f6f9d5a12f425c4422690f489ce8590e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2002 14:05:00 +0000
Subject: Fix link to feedback page

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

(limited to 'html/main.html')

diff --git a/html/main.html b/html/main.html
index 88ed8a73..3d6e8ea6 100644
--- a/html/main.html
+++ b/html/main.html
@@ -29,7 +29,7 @@ To see what Proof General looks like in use, have a look at these
 To download Proof General, visit the
 <a href="download">download page</a>.
 To contact the developers, click
-<?php hlink("feedback.html","here","Feedback form")?>.
+<?php hlink("feedback","here","Feedback form")?>.
 </p>
 
 
@@ -140,7 +140,7 @@ for <a href="http://www.cs.utexas.edu/users/moore/acl2">ACL2</a>.
 These instances of Proof General are functional, but only show a bare
 fraction of what is possible.  We are
 seeking volunteers to support and improve each of these 
-(please <a href="feedback.html">send a note to 
+(please <a href="feedback">send a note to 
 	<tt><?php print $project_feedback; ?></tt></a> if you're interested).
 </p>
 <p>
-- 
cgit v1.2.3