Update the documentation release number in RELEASE.

diff --git a/Doc/Makefile b/Doc/Makefile
index 9d680fa934b31cf7100617458cf90fda3a53209b..24ad2a067048e7ae6100f515bf39e09357e3dc7b 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -76,7 +76,7 @@ VPATH=.
 
 # 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