diff --git a/ci/docker/runtime_functions.sh b/ci/docker/runtime_functions.sh index a1607665f4bb..f29ff7fcfa70 100755 --- a/ci/docker/runtime_functions.sh +++ b/ci/docker/runtime_functions.sh @@ -1137,7 +1137,7 @@ deploy_docs() { set -ex pushd . - make docs -W + make docs SPHINXOPTS=-W popd }