diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-13 12:20:28 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-02-13 12:20:28 -0500 |
| commit | 13a45b86ed77efea621aec97765a97e21653d4d9 (patch) | |
| tree | 38985fdfd63ebf5828ac89a581eab72f9561d441 | |
| parent | 1a3efed6d4eb2aff8b95648932ddf68c4f022f30 (diff) | |
More version number fixes
| -rw-r--r-- | Makefile.devel | 6 | ||||
| -rw-r--r-- | README.md | 2 | ||||
| -rw-r--r-- | etc/ProofGeneral.spec | 2 | ||||
| -rw-r--r-- | generic/proof-site.el | 4 |
4 files changed, 7 insertions, 7 deletions
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. @@ -4,7 +4,7 @@ Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -This is version 4.4 of Proof General. +This is version 4.4pre of Proof General. ## Setup diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 5e812fdb..1543949a 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -1,6 +1,6 @@ Summary: Proof General, Emacs interface for Proof Assistants Name: ProofGeneral -Version: 4.3pre150313 +Version: 4.4pre Release: 1 Group: Text Editors/Integrated Development Environments (IDE) License: GPL diff --git a/generic/proof-site.el b/generic/proof-site.el index 521a8d8c..11d84715 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -71,8 +71,8 @@ ;; (eval-and-compile -;; WARNING: do not edit next line (constant is edited in Makefile.devel) - (defconst proof-general-version "Proof General Version 4.3pre150313. Released by da." + ;; WARNING: do not edit next line (constant is edited in Makefile.devel) + (defconst proof-general-version "Proof General Version 4.4pre." "Version string identifying Proof General release.")) (defconst proof-general-short-version |