From 6d31dcd8d498be9592e1e66905b691657cf5acdd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 8 Oct 1998 13:28:56 +0000 Subject: Made full prerelease name be name of tar file and RPM file. --- Makefile.devel | 14 +++++++------- 1 file 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: .*|Current Release version: $(RELEASE_TAG)|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: .*|Current Release version: $(RELEASE_TAG)|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)" ############################################################ -- cgit v1.2.3