diff options
| -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 |