Load the version information from ../Include/patchlevel.h, so there are
fewer changes to make to version numbers after a release.
diff --git a/Doc/Makefile b/Doc/Makefile
index a6df02f..5c0dc92 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -64,9 +64,14 @@
INFODIR= info
TOOLSDIR= tools
-# This is the *documentation* release, and is used to construct the file
-# names of the downloadable tarballs.
-RELEASE=2.4a0
+# This is the *documentation* release, and is used to construct the
+# file names of the downloadable tarballs. It is initialized by the
+# getversioninfo script to ensure that the right version number is
+# used; the script will also write commontex/patchlevel.tex if that
+# doesn't exist or needs to be changed. Documents which depend on the
+# version number should use \input{patchlevel} and include
+# commontex/patchlevel.tex in their dependencies.
+RELEASE=$(shell $(PYTHON) tools/getversioninfo)
PYTHON= python
DVIPS= dvips -N0 -t $(PAPER)