From 13a45b86ed77efea621aec97765a97e21653d4d9 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 13 Feb 2016 12:20:28 -0500 Subject: More version number fixes --- Makefile.devel | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Makefile.devel') diff --git a/Makefile.devel b/Makefile.devel index a201231b..64d5b53c 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -91,8 +91,8 @@ DEVELOPERS=\ # The prereltag.txt is kept as a record in the distrib area # of the current pre-release version (currently not used explicitly # anywhere for web pages/whatever). -PRERELEASE_PREFIX=4\.3pre -PRERELEASE_TAG=4.3pre$(shell date "+%y%m%d") +PRERELEASE_PREFIX=4\.4pre +PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt # Path to web pages in repository, used for automatically @@ -320,7 +320,7 @@ tag: # Update the sources, this is almost always what we want to do. if [ -z "$(NOCVS)" ] && [ -n "`cvs -n -q update -Pd | grep '^[MC] '`" ]; then cvs update -Pd; exit 1; fi # Update version in proof-site.el - (cd generic; mv $(VERSIONFILE) $(VERSIONFILE).old; sed -e 's/defconst $(VERSIONVARIABLE) \".*\"/defconst $(VERSIONVARIABLE) \"Proof General Version $(FULLVERSION). Released by da$(DATEMSG).\"/g' $(VERSIONFILE).old > $(VERSIONFILE); rm $(VERSIONFILE).old) + (cd generic; mv $(VERSIONFILE) $(VERSIONFILE).old; sed -e 's/defconst $(VERSIONVARIABLE) \".*\"/defconst $(VERSIONVARIABLE) \"Proof General Version $(FULLVERSION).\"/g' $(VERSIONFILE).old > $(VERSIONFILE); rm $(VERSIONFILE).old) # Tag ProofGeneral.spec (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version: $(VERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) # Edit $(DOWNLOADHTMLS) only for prereleases. -- cgit v1.2.3