diff --git a/Doc/Makefile b/Doc/Makefile
index 7a83c9e10c1..38db0c4fb47 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -57,8 +57,10 @@ HTMLDIR=	html
 INFODIR=	info
 TOOLSDIR=	tools
 
+# This is the *documentation* release, and is used to construct the file
+# names of the downloadable tarballs.
 RELEASE=1.5.2p1
-VERSION=1.5
+
 
 # These must be declared phony since there
 # are directories with matching names: