diff --git a/doc/doc_helper.sh b/doc/doc_helper.sh
old mode 100644
new mode 100755