Use the local python binary to build the docs, not whatever 'python' is on the PATH...

diff --git a/Doc/Makefile b/Doc/Makefile
index bda244a93974e3bc30fb9a2b934ba3cb20167c86..03a32d0ec2f2ef77b330c8f56f0444df7a66fd73 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -73,7 +73,7 @@ TOOLSDIR=     tools
 # commontex/patchlevel.tex in their dependencies.
 RELEASE=$(shell $(PYTHON) tools/getversioninfo)
 
-PYTHON=           python
+PYTHON=           $(PWD)/../python
 DVIPS=    dvips -N0 -t $(PAPER)
 
 # This is ugly!  The issue here is that there are two different levels