Use python3 instead of the unversioned python interpreter

Bug-Debian: https://bugs.debian.org/948839

===================================================================

Gbp-Pq: Name use-python3.patch

diff --git a/Tools/gtkdoc/generate-gtkdoc b/Tools/gtkdoc/generate-gtkdoc
index 7a06d494ec9dcca5bccebaf00985a42cbaf97d24..a38a02fad4c27f8731ca98661564ad8a18291d01 100755 (executable)
--- a/Tools/gtkdoc/generate-gtkdoc
+++ b/Tools/gtkdoc/generate-gtkdoc
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/python3
 # Copyright (C) 2011 Igalia S.L.
 #
 # This library is free software; you can redistribute it and/or