From 25353ef1f43d87d483f06663147268fc7abb7a1f Mon Sep 17 00:00:00 2001 From: Joas Schilling Date: Fri, 11 Aug 2023 09:55:35 +0200 Subject: [PATCH] fix(CI): Make warnings fail the CI build Signed-off-by: Joas Schilling --- admin_manual/Makefile | 2 +- developer_manual/Makefile | 2 +- user_manual/Makefile | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/admin_manual/Makefile b/admin_manual/Makefile index 8bcf2db09..805a74fa1 100644 --- a/admin_manual/Makefile +++ b/admin_manual/Makefile @@ -52,7 +52,7 @@ html-release: @echo "Build finished. The HTML pages are in $(BUILDDIR)/html/release." html-com: - $(SPHINXBUILD) -b html -D html_theme='sphinx_rtd_theme' $(ALLSPHINXOPTS) $(BUILDDIR)/html/com + $(SPHINXBUILD) -W -b html -D html_theme='sphinx_rtd_theme' $(ALLSPHINXOPTS) $(BUILDDIR)/html/com @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html/com." diff --git a/developer_manual/Makefile b/developer_manual/Makefile index 8bcf2db09..805a74fa1 100644 --- a/developer_manual/Makefile +++ b/developer_manual/Makefile @@ -52,7 +52,7 @@ html-release: @echo "Build finished. The HTML pages are in $(BUILDDIR)/html/release." html-com: - $(SPHINXBUILD) -b html -D html_theme='sphinx_rtd_theme' $(ALLSPHINXOPTS) $(BUILDDIR)/html/com + $(SPHINXBUILD) -W -b html -D html_theme='sphinx_rtd_theme' $(ALLSPHINXOPTS) $(BUILDDIR)/html/com @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html/com." diff --git a/user_manual/Makefile b/user_manual/Makefile index 4ab3dd293..924872fee 100644 --- a/user_manual/Makefile +++ b/user_manual/Makefile @@ -58,7 +58,7 @@ add-lang-to-versions-template-%: html-all: $(foreach lang, $(LANGS), html-lang-$(lang)) html-lang-%: - $(SPHINXBUILD) -b html -D html_theme='sphinx_rtd_theme' -D language=$* $(ALLSPHINXOPTS) $(BUILDDIR)/html/$* + $(SPHINXBUILD) -W -b html -D html_theme='sphinx_rtd_theme' -D language=$* $(ALLSPHINXOPTS) $(BUILDDIR)/html/$* @echo "Build finished for LANG=$*. The HTML pages are in $(BUILDDIR)/html/$*." merge-folders: