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.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/ProofGeneral.texi')

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$
-- 
cgit v1.2.3