Use the local python binary to build the docs, not whatever 'python' is on the PATH (which is probably Python 2.x, and we need 3.x).
diff --git a/Doc/Makefile b/Doc/Makefile
index bda244a..03a32d0 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -73,7 +73,7 @@
 # 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