1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py
index 45e690cb65..718cf4a275 100644
--- a/doc/tools/makerst.py
+++ b/doc/tools/makerst.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
 import codecs