aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-17 17:05:19 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-17 17:05:19 +0000
commit31bf863ebbf5a71c1e03f01d3ed218a41a055a4a (patch)
treefd1f8f53697a131e1873f0e88d442c58300a1be8 /Makefile.devel
parentc92218ef52b5ae41d3f976332b5edd0414582600 (diff)
Split download page into three parts.
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel
index bd4462d6..5c2f35ed 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -32,7 +32,7 @@
##
## No facility to edit html to make a full release in this makefile.
## Too much effort for infrequenty used function.
-## Must edit download.html by hand, then run
+## Must edit download.phtml by hand, then run
##
## make releaseall VERSION=2.0
##
@@ -55,7 +55,7 @@ PRERELEASE_PREFIX=3\.0pre
PRERELEASE_TAG=3.0pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
-DOWNLOADHTML=download.phtml
+DOWNLOADHTML=devel.phtml
# This is used for full releases to control the tag name