Moved to use .html instead of .phtml

1 files changed, 4 insertions, 4 deletions

diff --git a/html/news.html b/html/news.html
index f717ad77..ad738bd7 100644
--- a/html/news.html
+++ b/html/news.html
@@ -7,7 +7,7 @@
 Final week of testing for Proof General 3.2.  
 The last chance to report bugs or request (minor) improvements for this release.
 Please help us by trying out the 
-<a href="develdownload.phtml">pre-release</a>, especially if you are
+<a href="develdownload.html">pre-release</a>, especially if you are
 relying on an older or non-standard Emacs version.
 Also check to see if the new 
 manuals are useful: now split into
@@ -26,7 +26,7 @@ or
 <li><b>14th Sep 2000</b>
 <p>
 Improvements to web pages.  Graphics made smaller, text more concise.
-Please <?php hlink("feedback.phtml","send me suggestions ","Feedback form")?>
+Please <?php hlink("feedback.html","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
@@ -36,7 +36,7 @@ or the rather impressive recent versions of KDE's Konqueror).
 <p>
 We're starting the testing phase for Proof General 3.2.  
 It has several new features and improvements.
-Please try out the <a href="develdownload.phtml">pre-release</a>
+Please try out the <a href="develdownload.html">pre-release</a>
 version, and report any problems to us.  Your
 feedback is very important because we have no resources available for
 serious compatibility testing ourselves.
@@ -52,7 +52,7 @@ We hope to release 3.2 by the end of September.
 <!--     unless noted.)</i> -->
 <i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i>
 <br>
-<i>Click <a href="oldnews.phtml">here</a> for old news.</i>
+<i>Click <a href="oldnews.html">here</a> for old news.</i>
 </p>