From aa4df07a7a03c06706d7613acb6e65868eb56894 Mon Sep 17 00:00:00 2001 From: Brian Neradt Date: Fri, 2 Jul 2021 22:14:02 +0000 Subject: [PATCH] Doc build in CI: build English docs with -W Build the English docs with warnings treated as errors so we catch any Sphinx warnings accidentally introduced in a PR. --- ci/jenkins/bin/docs.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/jenkins/bin/docs.sh b/ci/jenkins/bin/docs.sh index 5af6ae54f09..62952391a13 100755 --- a/ci/jenkins/bin/docs.sh +++ b/ci/jenkins/bin/docs.sh @@ -36,9 +36,9 @@ autoreconf -fi && ./configure --enable-docs || exit 1 cd doc -echo "Building English version" +echo "Building English version with warnings treated as errors" rm -rf docbuild/html -${ATS_MAKE} -e SPHINXOPTS="-D language='en'" html +${ATS_MAKE} -e SPHINXOPTS="-W -D language='en'" html [ $? != 0 ] && exit 1 # Only continue with the rsync and JA build if we're on the official docs updates