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