diff --git a/.ci/build_document.sh b/.ci/build_document.sh old mode 100644 new mode 100755