Bump $(RELEASE).

diff --git a/Doc/Makefile b/Doc/Makefile
index 78ee92fdd4f458e71c87ee4836f11c851b2d1468..39e286dde4cd38625592ebadd4892f0019bc4f03 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -56,7 +56,7 @@ HTMLDIR=      html
 INFODIR=       info
 TOOLSDIR=      tools
 
-RELEASE=1.5.2a2
+RELEASE=1.5.2b1
 VERSION=1.5
 
 # These must be declared phony since there