diff --git a/Doc/Makefile b/Doc/Makefile
index 9d680fa934b..24ad2a06704 100644
--- 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