diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 23:09:24 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-10 23:09:24 +0000 |
commit | 08c725d9bfe6ffab9b1718c7f93c02c258cdd17a (patch) | |
tree | 0fe4205d266938b62f6a7562fa746154cdc97a62 /Makefile.devel | |
parent | f719e9c40651721189b31cf64cd10b91c5aea504 (diff) |
Update to 4.1pre
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index 2c3ee674..bf763804 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -90,8 +90,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=4\.0pre -PRERELEASE_TAG=4.0pre$(shell date "+%y%m%d") +PRERELEASE_PREFIX=4\.1pre +PRERELEASE_TAG=4.1pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt # Path to web pages in repository, used for automatically |