From: Dennis Braun <d_braun@kabelmail.de>
Date: Tue, 28 Jan 2020 21:20:21 +0100
Subject: Build with python3.

Index: csound-manual/Makefile
===================================================================
--- csound-manual.orig/Makefile
+++ csound-manual/Makefile
@@ -696,7 +696,7 @@ $(XSL_HTML) $(XSL_HTMLHELP) $(XSL_PRINT)
 
 examples-xml/stamp: examples $(wildcard examples/*)
 	mkdir -p examples-xml
-	python csd2docbook.py
+	python3 csd2docbook.py
 	touch examples-xml/stamp
 
 html: $(XSL_HTML) manual.xml $(SRCS) Makefile
@@ -715,7 +715,7 @@ html: $(XSL_HTML) manual.xml $(SRCS) Mak
 	@ echo "Remember to use the html-dist target for distribution!"
 
 html-dist:
-	python quickref.py
+	python3 quickref.py
 	$(MAKE) html
 	#python makeframes.py