diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-16 17:44:12 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-12-16 17:44:12 +0000 |
commit | bca477c9c2e2aa45a6e74a7106f4f21bad4e864e (patch) | |
tree | 425234b993322ffe3e412161fabbbddea0d13be3 | |
parent | cc225492c367a0a71016f66c4d4223cad11a4c69 (diff) |
towards prerelease 2.1
-rw-r--r-- | Makefile.devel | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.devel b/Makefile.devel index 8e193d82..d19dfd96 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -45,7 +45,7 @@ # Release tag. For pre-releases. Watch out with # substitution in tag target below, which edits # html/download.html -PRERELEASE_TAG=2.0pre$(shell date "+%y%m%d") +PRERELEASE_TAG=2.1pre$(shell date "+%y%m%d") # This is used for full releases to control the tag name @@ -225,7 +225,7 @@ tag: # Edit download.html only for prereleases. # Careful: the sed command below relies on previous value of PRERELEASE_TAG. if [ $(PRERELEASE_TAG) = $(VERSION) ]; then \ - (cd html; mv download.html download.html.old; sed -e 's|ProofGeneral-2\.0pre......|ProofGeneral-$(PRERELEASE_TAG)|g' download.html.old > download.html; rm download.html.old) \ + (cd html; mv download.html download.html.old; sed -e 's|ProofGeneral-2\.1pre......|ProofGeneral-$(PRERELEASE_TAG)|g' download.html.old > download.html; rm download.html.old) \ fi # This hack to SOURCE: name is only needed because we have an obsolete version # of rpm installed on standard machines at dcs.ed, and we have to build with |