Specify python3 for pptex.py

diff --git a/doc/manual/pptex.py b/doc/manual/pptex.py
index 91425a0606c9a7af8ace7c8067df75fd7e969ee8..fade5943cbffd0d6fd791e305c8aacd76d086498 100755 (executable)
--- a/doc/manual/pptex.py
+++ b/doc/manual/pptex.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/python3
 
 # Farcical script to remove newlines after
 # \begin{sidebar} in dblatex' .tex output;