From 5d7c77ae029de273724248105f416d57983631b2 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Mon, 19 Sep 2016 18:27:16 +0200
Subject: Bump version number for next release cycle.

---
 Makefile.devel        | 5 +++--
 README.md             | 2 +-
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 2 +-
 etc/ProofGeneral.spec | 2 +-
 generic/proof-site.el | 2 +-
 6 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index 64d5b53c..39accdc8 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -91,8 +91,9 @@ 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\.4pre
-PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d")
+PRERELEASE_PREFIX=4\.4\.1~pre
+PRERELEASE_TAG=4.4.1~pre
+### Formerly: PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
 # Path to web pages in repository, used for automatically 
diff --git a/README.md b/README.md
index 60e14045..9933c16a 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,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.4.1~pre of Proof General.
 
 ## Setup
 
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index ad6ac316..cf88d683 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -51,7 +51,7 @@
 @c        @ref{node}                without "see". Careful for info.
 
 
-@set version 4.4
+@set version 4.4.1~pre
 @set emacsversion 24.4
 @set last-update September 2016
 @set rcsid $Id$
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index ed1ac604..147e2ae9 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -57,7 +57,7 @@
 @c        @ref{node}                without "see". Careful for info.
 @c
 
-@set version 4.4
+@set version 4.4.1~pre
 @set emacsversion 24.4
 @set last-update September 2016
 @set rcsid $Id$
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 4679d77a..2a97e19e 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.4
+Version:	4.4.1~pre
 Release:	1
 Group:		Text Editors/Integrated Development Environments (IDE)
 License:	GPL
diff --git a/generic/proof-site.el b/generic/proof-site.el
index f2c9dafe..c2f9f480 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -72,7 +72,7 @@
 
 (eval-and-compile
   ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
-  (defconst proof-general-version "Proof General Version 4.4pre."
+  (defconst proof-general-version "Proof General Version 4.4.1~pre."
     "Version string identifying Proof General release."))
 
 (defconst proof-general-short-version
-- 
cgit v1.2.3