aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-24 11:30:00 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-24 11:30:00 +0000
commit32d7c22902c9061dc1e688b4b0f5e94046ca0cf1 (patch)
treec129e5afa4e626620263c86b555f451ed39207d4 /Makefile.devel
parent8dc7aa9b462aa21eb09b7b65f6fb42e56f901d62 (diff)
Update pre-rel tag
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 d78b8e94..16176d0d 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -88,7 +88,7 @@ DEVELOPERS=\
# of the current pre-release version (currently not used explicitly
# anywhere for web pages/whatever).
PRERELEASE_PREFIX=3\.5pre
-PRERELEASE_TAG=3.5pre$(shell date "+%y%m%d")
+PRERELEASE_TAG=3.5.1pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
# Path to web pages in repository, used for automatically