From 9f8b6d1c9cd4b59e1b0c3ce7bd2e3b5c87ac319d Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Mon, 30 Aug 2021 17:12:09 +0200
Subject: [PATCH] Re #7469: sphinx-build with flag -n (nitpick)
---
Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 9d643e1d5e..573a844e1f 100644
--- a/Makefile
+++ b/Makefile
@@ -235,6 +235,8 @@ bootstrap-jsons-linux: phony
# TODO: when we have sphinx-build2 ?
SPHINXCMD:=sphinx-build
+# Flag -n ("nitpick") warns about broken references
+SPHINX_FLAGS:=-n
SPHINX_HTML_OUTDIR:=dist-newstyle/doc/users-guide
USERGUIDE_STAMP:=$(SPHINX_HTML_OUTDIR)/index.html
@@ -242,7 +244,7 @@ USERGUIDE_STAMP:=$(SPHINX_HTML_OUTDIR)/index.html
users-guide: .python-sphinx-virtualenv $(USERGUIDE_STAMP)
$(USERGUIDE_STAMP) : doc/*.rst
mkdir -p $(SPHINX_HTML_OUTDIR)
- (. ./.python-sphinx-virtualenv/bin/activate && pip install -r doc/requirements.txt && $(SPHINXCMD) doc $(SPHINX_HTML_OUTDIR))
+ (. ./.python-sphinx-virtualenv/bin/activate && pip install -r doc/requirements.txt && $(SPHINXCMD) $(SPHINX_FLAGS) doc $(SPHINX_HTML_OUTDIR))
.python-sphinx-virtualenv:
python3 -m venv .python-sphinx-virtualenv
--
GitLab