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/download.html | 8 ++++----
 html/gallery.php   | 2 +-
 html/links.html    | 2 +-
 html/main.html     | 4 ++--
 html/oldnews.html  | 8 ++++----
 html/projects.html | 4 ++--
 6 files changed, 14 insertions(+), 14 deletions(-)

(limited to 'html')

diff --git a/html/download.html b/html/download.html
index 339913d7..6ebdfdf2 100644
--- a/html/download.html
+++ b/html/download.html
@@ -82,7 +82,7 @@ from the source tarball using <tt>rpm -ta</tt>.
 </p>
 <p>
 This version of Proof General has been tested
-with XEmacs 21.4 and (briefly with) FSF Emacs 20.7.
+with XEmacs 21.4 and (briefly with) GNU Emacs 20.7.
 It supports earlier versions of both Emacsen, but
 we recommend using the latest versions available
 </p>
@@ -121,7 +121,7 @@ of <a href="http://www.xemacs.org">XEmacs</a>
 ftp mirror</a> may help).
 <br>
 <b>or</b> version 20.7 of the much poorer 
-<a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
+<a href="http://www.gnu.org/software/emacs/">GNU GNU Emacs</a>.
 <br>
 Both Emacsen are available for a variety of platforms, including
 Unix variants and Windows 95/98/NT/2k.
@@ -149,10 +149,10 @@ for installation notes.
 <br>X-Symbol presently only works with XEmacs on systems running X.  
 </li>
 <!-- <li> -->
-<!-- For FSF Emacs, a version of <tt>func-menu.el</tt> to get  -->
+<!-- For GNU Emacs, a version of <tt>func-menu.el</tt> to get  -->
 <!-- <a href="features#funcmenu">function menus</a>. -->
 <!-- <br>Unfortunately I can't find a version of this that -->
-<!-- works with current FSF Emacs releases. I'd be grateful  -->
+<!-- works with current GNU Emacs releases. I'd be grateful  -->
 <!-- for a pointer to one.   -->
 <!-- <br> -->
 <!-- (The package  -->
diff --git a/html/gallery.php b/html/gallery.php
index 69569ce1..035136f1 100644
--- a/html/gallery.php
+++ b/html/gallery.php
@@ -60,7 +60,7 @@ A nice poster for your wall or door. <br>
 New Recruits Wanted  <br>
 This is a request for help with the Proof General
 project. <br>
-Please <a href="feedback.html">sign up here</a>!
+Please <a href="feedback">sign up here</a>!
 </p>
 </tr>
 <tr>
diff --git a/html/links.html b/html/links.html
index 634a5db7..d3ca2b61 100644
--- a/html/links.html
+++ b/html/links.html
@@ -3,7 +3,7 @@
 Here are some links to related things.  
 If you have any suggestions 
 for links to include here, please
-<?php hlink("feedback.html","contact us","Feedback form")?>.
+<?php hlink("feedback","contact us","Feedback form")?>.
 </p>
 
 <ul>
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>
diff --git a/html/oldnews.html b/html/oldnews.html
index 15ad2e6e..2cc3c42b 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -9,7 +9,7 @@
 <p>
 The past few months have seen a few more improvements and
 bug fixes to Proof General: many thanks to those who have
-sent us <a href="feedback.html">useful feedback</a>.
+sent us <a href="feedback">useful feedback</a>.
 It's time that we made a proper release, so please try
 out the <a href="develdownload.html">development release</a>
 and help us iron out as many more problems as we can.
@@ -57,7 +57,7 @@ or
 <li><b>14th Sep 2000</b>
 <p>
 Improvements to web pages.  Graphics made smaller, text more concise.
-Please <?php hlink("feedback.html","send me suggestions ","Feedback form")?>
+Please <?php hlink("feedback","send me suggestions ","Feedback form")?>
 for further improvements.
 (I know some pages display poorly in Netscape 4.7x because 
 of patchy stylesheet support; they appear much better in IE5
@@ -190,7 +190,7 @@ month so that everyone can benefit.
 <p>
 In the meantime, please 
 <?php 
-  hlink("feedback.html","report any important problems ","Feedback form")?>
+  hlink("feedback","report any important problems ","Feedback form")?>
 that you would like to see fixed, and consider trying out 
 the current <a href="devel">development release</a>.
 </p>
@@ -290,7 +290,7 @@ support implemented.
  maintain and improve Coq Proof General, since Patrick Loiseleur 
  can no longer work on it.  
  Support from the Coq community is vital for Proof General to
- be a useful tool there. <a href="feedback.html">Please offer to help</a>, 
+ be a useful tool there. <a href="feedback">Please offer to help</a>, 
  it needn't be a heavy commitment.
  </p>
 <li><b>13th September 1999</b><br>
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