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)