Up to 2.12.0 (pre).

diff --git a/doc/version.tex b/doc/version.tex
index 9fd0329..92a3423 100644 (file)
--- a/doc/version.tex
+++ b/doc/version.tex
@@ -1 +1 @@
-\def\versionnumber{2.11.33}
+\def\versionnumber{2.12.0}

diff --git a/doc/version.texi b/doc/version.texi
index 0bee903..13d67f1 100644 (file)
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1 +1 @@
-@set VERSION 2.11.33
+@set VERSION 2.12.0