Bump the release number to 1.5.2p1.
diff --git a/Doc/Makefile b/Doc/Makefile
index 3a5103e..7a83c9e 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -57,7 +57,7 @@
 INFODIR=	info
 TOOLSDIR=	tools
 
-RELEASE=1.5.2
+RELEASE=1.5.2p1
 VERSION=1.5
 
 # These must be declared phony since there