diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-08 13:28:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-08 13:28:56 +0000 |
| commit | 6d31dcd8d498be9592e1e66905b691657cf5acdd (patch) | |
| tree | 5d86c7521e750e352a2c2e51f1b3e9ed83ee54c3 | |
| parent | c7c2cd3a123b3a728dac2e5102126f0960e91af2 (diff) | |
Made full prerelease name be name of tar file and RPM file.
| -rw-r--r-- | Makefile.devel | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Makefile.devel b/Makefile.devel index 861c592c..0d2759ec 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -29,7 +29,7 @@ RELEASE_TAG=2.0-pre$(shell date "+%y%m%d") CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d") NAME = ProofGeneral -RELEASENAME = ProofGeneral-2.0 +RELEASENAME = ProofGeneral-$(RELEASE_TAG) # Where to release (i.e. copy) a new distribution to RELEASEDIR = /home/proofgen/www/ @@ -139,12 +139,12 @@ tag: @echo "*************************************************" @echo " Tagging sources... (fails if CVS source dirty)" @echo "*************************************************" -# if [ -n "`cvs -n -q update`" ]; then exit 1; fi -# (cd generic; mv proof-site.el proof-site.el.old; sed -e 's/defconst proof-general-version\n \".*\"/defconst proof-general-version\n \"Proof General, Version $(RELEASE_TAG) released by da,tms. Email proofgen@dcs.ed.ac.uk.\"/g' proof-site.el.old > proof-site.el; rm proof-site.el.old) -# (cd html; mv download.html download.html.old; sed -e 's|Current Release version: .*</b>|Current Release version: $(RELEASE_TAG)</b>|g' download.html.old > download.html; rm download.html.old) - (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version: .*\n/Version: $(RELEASE_TAG)\n/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) -# cvs commit -m"Set version tag for release." generic/proof-site.el html/download.html -# cvs tag "Release-$(CVS_RELEASE_TAG)" + if [ -n "`cvs -n -q update`" ]; then exit 1; fi + (cd generic; mv proof-site.el proof-site.el.old; sed -e 's/defconst proof-general-version\n \".*\"/defconst proof-general-version\n \"Proof General, Version $(RELEASE_TAG) released by da,tms. Email proofgen@dcs.ed.ac.uk.\"/g' proof-site.el.old > proof-site.el; rm proof-site.el.old) + (cd html; mv download.html download.html.old; sed -e 's|Current Release version: .*</b>|Current Release version: $(RELEASE_TAG)</b>|g' download.html.old > download.html; rm download.html.old) + (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version: $(RELEASE_TAG)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) + cvs commit -m"Set version tag for release." generic/proof-site.el html/download.html + cvs tag "Release-$(CVS_RELEASE_TAG)" ############################################################ |