diff options
author | 2000-02-15 15:08:21 +0000 | |
---|---|---|
committer | 2000-02-15 15:08:21 +0000 | |
commit | 610783ffbfdb866dff630597aabeb03f61abacc4 (patch) | |
tree | 3c03aada5b3ba768928b81a27056080e6caa9378 /Makefile.devel | |
parent | 5b794c3bb084d01dbb5d2b4ba5f7a23abac10d68 (diff) |
New name for devel download page.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index d4bc76a3..32cda65d 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -55,7 +55,7 @@ PRERELEASE_PREFIX=3\.1pre PRERELEASE_TAG=3.1pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt -DOWNLOADHTML=devel.phtml +DOWNLOADHTML=develdownload.phtml # This is used for full releases to control the tag name # and distribution name. No editing of html is done |