aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2008-02-03 13:02:16 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2008-02-03 13:02:16 +0000
commit65a29fe6fd7ba80df73a00e8c0fc17a727422290 (patch)
tree56e712d29326d45872336c897e29b4ca91330248 /Makefile.devel
parent47134c291006af068e34d4cb02b3774e33315ef9 (diff)
Move to 3.7.1 pre-rel
Diffstat (limited to 'Makefile.devel')
-rw-r--r--Makefile.devel4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel
index d30985cb..b43254d8 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -87,8 +87,8 @@ DEVELOPERS=\
# The prereltag.txt is kept as a record in the distrib area
# of the current pre-release version (currently not used explicitly
# anywhere for web pages/whatever).
-PRERELEASE_PREFIX=3\.7pre
-PRERELEASE_TAG=3.7pre$(shell date "+%y%m%d")
+PRERELEASE_PREFIX=3\.7\.1pre
+PRERELEASE_TAG=3.7.1pre$(shell date "+%y%m%d")
PREREL_TAG_FILE=prereltag.txt
# Path to web pages in repository, used for automatically