Update the documentation release number in RELEASE.
diff --git a/Doc/Makefile b/Doc/Makefile
index 9d680fa..24ad2a0 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -76,7 +76,7 @@
 
 # Ideally, you shouldn't need to edit beyond this point
 
-RELEASE=1.5.1
+RELEASE=1.5.1p1
 VERSION=1.5
 
 MANDVIFILES=	api.dvi ext.dvi lib.dvi ref.dvi tut.dvi