diff --git a/util/deploy_docs_from_travis.sh b/util/deploy_docs_from_travis.sh
old mode 100644
new mode 100755