diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 17:05:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 17:05:19 +0000 |
commit | 31bf863ebbf5a71c1e03f01d3ed218a41a055a4a (patch) | |
tree | fd1f8f53697a131e1873f0e88d442c58300a1be8 /Makefile.devel | |
parent | c92218ef52b5ae41d3f976332b5edd0414582600 (diff) |
Split download page into three parts.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 4 |
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 |