Bump the release number to 1.5.2p1.

diff --git a/Doc/Makefile b/Doc/Makefile
index 3a5103ee6bd993575ce76ab9795f2532b09d92c2..7a83c9e10c1c72c76e76efe3152f1f353d706454 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -57,7 +57,7 @@ HTMLDIR=      html
 INFODIR=       info
 TOOLSDIR=      tools
 
-RELEASE=1.5.2
+RELEASE=1.5.2p1
 VERSION=1.5
 
 # These must be declared phony since there