diff options
author | 1998-10-08 13:32:11 +0000 | |
---|---|---|
committer | 1998-10-08 13:32:11 +0000 | |
commit | 907b02b26816eb30893c7d32969e7a8c07af1a57 (patch) | |
tree | 2cc186bed287fa0d159809b1ce26cfe1997bd990 | |
parent | 6d31dcd8d498be9592e1e66905b691657cf5acdd (diff) |
Removed hyphen from prerelease name.
-rw-r--r-- | Makefile.devel | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index 0d2759ec..d70a8cae 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -25,10 +25,13 @@ # TODO: (da) Add target for byte compilation. -# Release tags. NB: CVS tags can't have points in them. -RELEASE_TAG=2.0-pre$(shell date "+%y%m%d") -CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d") +# Release tags. +# NB: 1. CVS tags can't have points in them. +# 2. RPM names can't have hyphens in them +RELEASE_TAG=2.0pre$(shell date "+%y%m%d") +CVS_RELEASE_TAG=2-0pre$(shell date "+%y%m%d") NAME = ProofGeneral +# Name of tar file and RPM file. RELEASENAME = ProofGeneral-$(RELEASE_TAG) # Where to release (i.e. copy) a new distribution to |