diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 16:31:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 16:31:34 +0000 |
commit | 5221ba6e251da656bb5eb8e900a070f46c991b10 (patch) | |
tree | 20867abfaf79c475a96d1a1bc4c27588dbf9b6ca /Makefile.devel | |
parent | cf82fb86377e4f25091353f268b5cb2f70905a4f (diff) |
Updated.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index f0e8890b..c60500b1 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -63,6 +63,10 @@ ## ########################################################################### +## TODO: could include prerel tag in web pages, and link using -latest +## sym links. Would avoid needing to edit html below. + + # Names and real mail addresses of developers # Arguments for rcs2log for ChangeLog target # NB: must use TAB as separator in list below. @@ -85,9 +89,7 @@ DEVELOPERS=\ # line in tag target below, which edits $(DOWNLOADHTML) # 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 and the like). -# FIXME: could include tag in web pages, and link using -latest -# sym links. Would avoid needing to edit html below. +# anywhere for web pages/whatever). PRERELEASE_PREFIX=3\.5pre PRERELEASE_TAG=3.5pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt |