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