the release manager has been fixed; this *will* be a release candidate

diff --git a/Doc/Makefile b/Doc/Makefile
index 52549c42e97611f3f7593a6dd4d9f296fb918ad8..e921dee600de8285d86d7267714c5e439608073f 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -66,7 +66,7 @@ TOOLSDIR=     tools
 
 # This is the *documentation* release, and is used to construct the file
 # names of the downloadable tarballs.
-RELEASE=2.2.3
+RELEASE=2.2.3c1
 
 PYTHON=           python
 DVIPS=    dvips -N0 -t $(PAPER)