diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py
old mode 100644
new mode 100755