diff --git a/doc/make_md.py b/doc/make_md.py
old mode 100644
new mode 100755
index 1b497624aa..75408f30ad
--- a/doc/make_md.py
+++ b/doc/make_md.py
@@ -1,3 +1,5 @@
+#!/usr/bin/python
+
 import glob
 import os