Keep going when encountering errors on build

dstansby · dstansby · commit 7ac9f522e7c2 · 2023-05-18T11:04:19.000+01:00
diff --git a/docs/Makefile b/docs/Makefile
@@ -3,7 +3,7 @@
 
 # You can set these variables from the command line, and also
 # from the environment for the first two.
-SPHINXOPTS    ?= -W
+SPHINXOPTS    ?= -W --keep-going
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
 BUILDDIR      = _build
diff --git a/docs/make.bat b/docs/make.bat
@@ -7,6 +7,9 @@ REM Command file for Sphinx documentation
 if "%SPHINXBUILD%" == "" (
 	set SPHINXBUILD=sphinx-build
 )
+if "%SPHINXOPTS%" == "" (
+	set SPHINXOPTS="--keep-going"
+)
 set SOURCEDIR=.
 set BUILDDIR=_build
 

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,9 @@ REM Command file for Sphinx documentation`
`7`	`7`	`if "%SPHINXBUILD%" == "" (`
`8`	`8`	`set SPHINXBUILD=sphinx-build`
`9`	`9`	`)`
	`10`	`+if "%SPHINXOPTS%" == "" (`
	`11`	`+ set SPHINXOPTS="--keep-going"`
	`12`	`+)`
`10`	`13`	`set SOURCEDIR=.`
`11`	`14`	`set BUILDDIR=_build`
`12`	`15`