Use Python3 to build documentation

diff --git a/debian/patches/debian_python3.patch b/debian/patches/debian_python3.patch
new file mode 100644 (file)
index 0000000..2b8ed89
--- /dev/null
+++ b/debian/patches/debian_python3.patch
@@ -0,0 +1,18 @@
+Description: use Python3 rather than Python2
+ for building the documentation
+Author: IOhannes m zmölnig
+Forwarded: no
+Last-Update: 2018-02-10
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+--- juce.orig/doxygen/Makefile
++++ juce/doxygen/Makefile
+@@ -9,7 +9,7 @@
+ 
+ build/juce_modules.dox: process_source_files.py $(SOURCE_FILES)
+       rm -rf build
+-      python $< ../modules build
++      python3 $< ../modules build
+ 
+ clean:
+       rm -rf build doc

diff --git a/debian/patches/series b/debian/patches/series
index f147bd8d1a33016d2ad09c491b177822fa986897..09aa0f87bed1b9c5606081b2b8f481a044c51c67 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@ debian_fixed-defines.patch
 debian_gpl_variant.patch
 debian_no-update-check.patch
 debian_system_modules.patch
+debian_python3.patch