From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:14:22 +0000
Subject: Moved to use .html instead of .phtml

---
 html/devel.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'html/devel.html')

diff --git a/html/devel.html b/html/devel.html
index aa418f08..273da3cb 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -14,7 +14,7 @@ here.
 </ul>
 <ul>
 <li>
-Download the latest <a href="develdownload.phtml">development release: 
+Download the latest <a href="develdownload.html">development release: 
 <!-- WARNING!  Line below automatically edited by makefile. -->
  <b>ProofGeneral-3.2pre000928</b></a>
 <!-- end WARNING -->
@@ -35,13 +35,13 @@ slightly out of date.<br>
 <li>
 If you want to be an "official" developer and
 access the real CVS repository, 
-<a href="feedback.phtml">ask here</a>.
+<a href="feedback.html">ask here</a>.
 </li>
 </ul>
 <ul>
 <li>
 Get involved!
-Take a look at the Proof General <a href="projects.phtml">project proposals</a>.
+Take a look at the Proof General <a href="projects.html">project proposals</a>.
 </li>
 </ul>
 <ul>
@@ -89,7 +89,7 @@ for the
 <!-- </ul> -->
 <ul>
 <li>
-<?php hlink("feedback.phtml","Send us a message ","Feedback form")?>
+<?php hlink("feedback.html","Send us a message ","Feedback form")?>
 about any development issues.
 </li>
 </ul>
-- 
cgit v1.2.3