1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/makehtml.py b/doc/tools/makehtml.py
index 26edda0935..b0a8cbda88 100644
--- a/doc/tools/makehtml.py
+++ b/doc/tools/makehtml.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
 import sys