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/projects.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/projects.html')

diff --git a/html/projects.html b/html/projects.html
index ef13c874..a1a6ba8a 100644
--- a/html/projects.html
+++ b/html/projects.html
@@ -72,7 +72,7 @@ feel free to discuss with the project proposer or on the
 <p>
 If you would like to use any of these ideas as a formal project
 proposal for students at your institution, please feel free
-but do <?php hlink("feedback.html","let us know ","Feedback form")?>
+but do <?php hlink("feedback","let us know ","Feedback form")?>
 if some work is begun, to help coordinate efforts.
 NB: the proposer of the project does not guarantee to be available for
 formal supervision or intensive help with the project (but it may be
@@ -83,7 +83,7 @@ possible to find somebody else to do that).
 If you would like to submit a project proposal
 for an improvement or extension of Proof General,
 please send an email or write a description on the 
-<?php hlink("feedback.html","web feedback form","Feedback form")?>.
+<?php hlink("feedback","web feedback form","Feedback form")?>.
 Projects should be significant contributions rather than
 incremental improvements (although we welcome the suggestion of those
 too).
-- 
cgit v1.2.3