From 13a45b86ed77efea621aec97765a97e21653d4d9 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 13 Feb 2016 12:20:28 -0500
Subject: More version number fixes

---
 Makefile.devel        | 6 +++---
 README.md             | 2 +-
 etc/ProofGeneral.spec | 2 +-
 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.
diff --git a/README.md b/README.md
index 24477c8e..1072c694 100644
--- a/README.md
+++ b/README.md
@@ -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
-- 
cgit v1.2.3