convert shebang lines: python -> python3
diff --git a/Tools/scripts/texi2html.py b/Tools/scripts/texi2html.py
index 86229f2..af2147a 100755
--- a/Tools/scripts/texi2html.py
+++ b/Tools/scripts/texi2html.py
@@ -1,4 +1,4 @@
-#! /usr/bin/env python
+#! /usr/bin/env python3
 
 # Convert GNU texinfo files into HTML, one file per node.
 # Based on Texinfo 2.14.