From 067bb430e50c956fc1c605ceb5ec3f970d3e7218 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Tue, 31 Aug 2021 16:54:20 +0200
Subject: [PATCH] Re #7469: sphinx-build with flag -W -E --keep-going

Strict regime: turn warnings to errors (-W), rebuild from scratch (-E).
---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 573a844e1f..b4733782d6 100644
--- a/Makefile
+++ b/Makefile
@@ -236,7 +236,9 @@ bootstrap-jsons-linux: phony
 # TODO: when we have sphinx-build2 ?
 SPHINXCMD:=sphinx-build
 # Flag -n ("nitpick") warns about broken references
-SPHINX_FLAGS:=-n
+# Flag -W turns warnings into errors
+# Flag --keep-going continues after errors
+SPHINX_FLAGS:=-n -W --keep-going -E
 SPHINX_HTML_OUTDIR:=dist-newstyle/doc/users-guide
 USERGUIDE_STAMP:=$(SPHINX_HTML_OUTDIR)/index.html
 
-- 
GitLab