diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:24:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 23:24:49 +0000 |
commit | cb6b6b19c3b5b342d149fbebe78de0b7a4292017 (patch) | |
tree | 427f7426b31b818306d7daf91aec93b4ecafb4be /Makefile.devel | |
parent | 71982ce3a125dcb200e39d3975084aff77fb6ec6 (diff) |
Updated.
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 19 |
1 files changed, 7 insertions, 12 deletions
diff --git a/Makefile.devel b/Makefile.devel index 16e3bd92..d30985cb 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -37,25 +37,20 @@ ## ## ## Notes: -## Use 'make untag' before re-trying if 'make releaseall' fails and files -## are changed. This will make sure tags move to correct files -## NB: this may create duplicate ChangeLog entries for current day, -## watch out! +## ## Use 'make releaseclean' if giving up, to remove temp dirs. ## -## No facility to edit html to make a full release in this Makefile. -## Too much effort for infrequenty used function. -## Must edit download.html by hand, then run +## NB: no facility to edit html to make a full release in this Makefile. +## Edit download.html by hand, then run ## -## make releaseall VERSION=2.0 +## make releaseall VERSION=2.0 ## ## Or similar to make the required version. ## +## To customize the tags in case of a re-release with the same +## official version: ## -## To customize the tags in case of a re-release with the same official -## version: -## -## make releaseall VERSION=2.0 FULLVERSION=2.0.1 +## make releaseall VERSION=2.0 FULLVERSION=2.0.1 ## ## ## $Id$ |