diff --git a/configure.ac b/configure.ac
index 73697a429b..98c3d971c8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -515,7 +515,6 @@ examples/xml/Makefile
 tools/Makefile
 docs/Makefile
 docs/devhelp/Makefile
-docs/devhelp/html2xml.py
 docs/faq/Makefile
 docs/gst/Makefile
 docs/gst/gstreamer.types
diff --git a/docs/devhelp/html2xml.py.in b/docs/devhelp/html2xml.py
similarity index 99%
rename from docs/devhelp/html2xml.py.in
rename to docs/devhelp/html2xml.py
index 3f0e9eba66..aa425a1fc2 100644
--- a/docs/devhelp/html2xml.py.in
+++ b/docs/devhelp/html2xml.py
@@ -1,4 +1,4 @@
-#!@PYTHON@
+#!/usr/bin/env python
 import formatter
 import htmllib
 import os