[nongnu] elpa/proof-general 7f032add3a 1/2: chore: Prepare new release cycle

[ELPA Syncer]

branch: elpa/proof-general
commit 7f032add3aab06e7abe256e89a2894eabbbaa459
Author: Erik Martin-Dorel <erik@martin-dorel.org>
Commit: Erik Martin-Dorel <erik@martin-dorel.org>

    chore: Prepare new release cycle
---
 CHANGES               | 4 ++++
 Makefile.devel        | 4 ++--
 README.md             | 2 +-
 doc/PG-adapting.texi  | 4 ++--
 doc/ProofGeneral.texi | 9 ++++++++-
 etc/ProofGeneral.spec | 2 +-
 generic/proof-site.el | 2 +-
 proof-general.el      | 2 +-
 8 files changed, 20 insertions(+), 9 deletions(-)

diff --git a/CHANGES b/CHANGES
index bfce6dcd85..49ae933c2f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,6 +3,10 @@
 This is a summary of main changes.  For details, please see
 the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG
 
+* Changes of Proof General 4.6 from Proof General 4.5
+
+N/A
+
 * Changes of Proof General 4.5 from Proof General 4.4
 
 ** Generic changes
diff --git a/Makefile.devel b/Makefile.devel
index d0bb67a979..bdd3d42378 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\.5-git
-PRERELEASE_TAG=4.5-git
+PRERELEASE_PREFIX=4\.6-git
+PRERELEASE_TAG=4.6-git
 ### Formerly: PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d")
 PREREL_TAG_FILE=prereltag.txt
 
diff --git a/README.md b/README.md
index 6bb736eceb..2ce6980b01 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,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.5 of Proof General.
+This is version 4.6-git of Proof General.
 
 ## About Proof General branches
 
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index b0f5d06c49..3093ff3577 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -51,8 +51,8 @@
 @c        @ref{node}                without "see". Careful for info.
 
 
-@set version 4.5
-@set emacsversion 24.3
+@set version 4.6-git
+@set emacsversion 25.2
 @set last-update July 2022
 @set rcsid $Id$
 
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index e8f143a19f..2435ebfab6 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.5
+@set version 4.6-git
 @set emacsversion 25.2
 @set last-update July 2022
 @set rcsid $Id$
@@ -192,6 +192,7 @@ other documentation, system downloads, etc.
 
 
 @menu
+* News for Version 4.6::
 * News for Version 4.5::
 * News for Version 4.4::
 * News for Version 4.3::
@@ -202,6 +203,12 @@ other documentation, system downloads, etc.
 * Credits::                     
 @end menu
 
+@node News for Version 4.6
+@unnumberedsec News for Version 4.6
+@cindex news
+
+N/A
+
 @node News for Version 4.5
 @unnumberedsec News for Version 4.5
 @cindex news
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 5c65e53ce7..ba7c655ba8 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.5
+Version:       4.6-git
 Release:       1
 Group:         Text Editors/Integrated Development Environments (IDE)
 License:       GPLv3+
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 969ba165f1..316acfdcb5 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -68,7 +68,7 @@
 
 (eval-and-compile
   ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
-  (defconst proof-general-version "Proof General Version 4.5."
+  (defconst proof-general-version "Proof General Version 4.6-git."
     "Version string identifying Proof General release."))
 
 (defconst proof-general-short-version
diff --git a/proof-general.el b/proof-general.el
index 067b167d25..08a8508c02 100644
--- a/proof-general.el
+++ b/proof-general.el
@@ -12,7 +12,7 @@
 ;; Authors: (see the AUTHORS file distributed along the sources)
 ;; URL: https://proofgeneral.github.io/
 ;; Package-Requires: ((emacs "25.2"))
-;; Version: 4.5
+;; Version: 4.6-git
 
 ;; The software is free software: you can redistribute it and/or modify
 ;; it under the terms of the GNU General Public License as published by