Added comment clarifying that RELEASE is the documentation release
number, not the Python release.
Removed VERSION since it is not used.
diff --git a/Doc/Makefile b/Doc/Makefile
index 7a83c9e..38db0c4 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -57,8 +57,10 @@
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: