bump version number

diff --git a/Doc/Makefile b/Doc/Makefile
index a30a3242325ce1370e37c0cb3c60e79b7bc1e7a0..d48eec204981eb9b4cd89c11903d050c765c236f 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.3+
+RELEASE=2.3.1
 
 PYTHON=           python
 DVIPS=    dvips -N0 -t $(PAPER)