python · ezio-melotti · Jul 13, 2022 · Jun 25, 2022 · Jun 25, 2022 · Jun 25, 2022
diff --git a/Makefile b/Makefile
@@ -5,7 +5,7 @@
 PYTHON        = python3
 VENVDIR       = ./venv
 BUILDDIR      = _build
-SPHINXOPTS    =
+SPHINXOPTS    = -W --keep-going -n
 SPHINXBUILD   = $(VENVDIR)/bin/sphinx-build
 SPHINXLINT    = $(VENVDIR)/bin/sphinx-lint
 PAPER         =

diff --git a/conf.py b/conf.py
@@ -229,7 +229,7 @@
 # http://www.sphinx-doc.org/en/stable/config.html?highlight=linkcheck#confval-linkcheck_anchors_ignore
 linkcheck_anchors_ignore = [
    # match any anchor that starts with a '/' since this is an invalid HTML anchor
-    '\/.*',
+    r'\/.*',
 ]
 rediraffe_redirects = {
    "clang.rst": "advanced-tools/clang.rst",

diff --git a/make.bat b/make.bat
@@ -22,6 +22,7 @@ if not defined SPHINXLINT (
 )

 set BUILDDIR=_build
+set SPHINXOPTS=-W --keep-going -n
 set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% .
 if NOT "%PAPER%" == "" (
 	set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS%