From e48a680b983e8d4844c78c0dff6720addf772177 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Sep 2000 15:41:13 +0000
Subject: phtml -> html

---
 Makefile.devel | 10 +++++++---
 todo           |  4 ++--
 2 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index fa2a3ceb..229e9d4a 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -26,6 +26,10 @@
 ##    make distinstall	  - install distribution build by 'make dist'
 ##			    into DISTINSTALLDIR.
 ##
+##    make links	  - add some links which help testing web pages
+##			    from the html directory, and ensure that the
+## 
+##
 ##    make releaseclean   - clean up after 'make dist' 'make rpmrelease'.
 ##
 ##
@@ -36,7 +40,7 @@
 ##
 ##   No facility to edit html to make a full release in this makefile.  
 ##   Too much effort for infrequenty used function.  
-##   Must edit download.phtml and doc.phtml by hand, then run 
+##   Must edit download.html and doc.html by hand, then run 
 ##
 ##    make releaseall VERSION=2.0
 ##
@@ -77,8 +81,8 @@ PRERELEASE_PREFIX=3\.2pre
 PRERELEASE_TAG=3.2pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
-DOWNLOADHTML=develdownload.phtml
-DOWNLOADINFOHTML=devel.phtml
+DOWNLOADHTML=develdownload.html
+DOWNLOADINFOHTML=devel.html
 
 # This is used for full releases to control the tag name
 # and distribution name.  No editing of html is done
diff --git a/todo b/todo
index 8a7d640c..5191dd7d 100644
--- a/todo
+++ b/todo
@@ -776,8 +776,8 @@ B Keybindings for processing theory in thy mode gone??
 *** C Reduce text size and front page image, for 1024x768 screens.
 
 *** D Restructure so that page titles are different to help
-  browsing.  (Move links_arr from header.phtml somewhere new,
-  and set $pg_title appropriately before head.phtml is included).
+  browsing.  (Move links_arr from header.html somewhere new,
+  and set $pg_title appropriately before head.html is included).
 
 *** C Add etc/announce somewhere.
 
-- 
cgit v1.2.3