diff --git a/build_docs b/build_docs
old mode 100644
new mode 100755