aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
diff options
context:
space:
mode:
authorDavid Aspinall2001-05-08 14:15:00 +0000
committerDavid Aspinall2001-05-08 14:15:00 +0000
commit810dbd37521cd17763421ff2d6fa2fe9fbfdf0a5 (patch)
treec7e5b51af832a08586e57745557cf97ba4cb4a8a /Makefile.devel
parent8cc5add30dbaf7b71f54b16b7c8e3f0d1588c49d (diff)
Change DEVELDOWNLOAD to edit correct file
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel
index afea8297..f9c1204c 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -82,7 +82,7 @@ PRERELEASE_PREFIX=3\.3pre
PRERELEASE_TAG=3.3pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
-DOWNLOADHTML=develdownload.html
+DOWNLOADHTML=develdownload.php
DOWNLOADINFOHTML=devel.html
# This is used for full releases to control the tag name