diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh index 9e2f043249f70..ce6889e0d5c27 100755 --- a/build_tools/circle/build_doc.sh +++ b/build_tools/circle/build_doc.sh @@ -140,6 +140,9 @@ then exit 0 fi +# TMP: turn all sphinx warnings into errors, even in PRs. Remove before merging. +export SPHINXOPTS="-T -W --keep-going" + if [[ "$CIRCLE_BRANCH" =~ ^main$|^[0-9]+\.[0-9]+\.X$ && -z "$CI_PULL_REQUEST" ]] then # ZIP linked into HTML