diff --git a/gitlab/build.sh b/gitlab/build.sh old mode 100755 new mode 100644 index 70152e77dbdeab56285273900623b3af034e4469..a1c2fe1b79432e17ccac989da788483de1644968 --- a/gitlab/build.sh +++ b/gitlab/build.sh @@ -10,7 +10,7 @@ if [ -x ./bin/bob_dbmanage.py ]; then fi if [ -d ./doc ]; then - run_cmd ./bin/sphinx-build -n -W doc sphinx + run_cmd ./bin/sphinx-build -n doc sphinx fi if [ -z "${WHEEL_TAG}" ]; then