From 7ee56364bc1bf583eb6c2158568228bb093a00e6 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Tue, 29 Apr 2025 17:12:33 +0300
Subject: [PATCH] Sphinx: remove redundant --keep-going

---
 Makefile | 4 ++--
 make.bat | 2 +-
 make.ps1 | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 6baf33b325..9817feb155 100644
--- a/Makefile
+++ b/Makefile
@@ -10,8 +10,8 @@ SPHINXBUILD  = $(VENVDIR)/bin/sphinx-build
 # there are duplicate labels.  These cause warnings, which prevent the
 # build from finishing.  Turn off --fail-on-warning so we can see the
 # finished results.
-#SPHINXOPTS   = --fail-on-warning --keep-going
-SPHINXOPTS   = --keep-going
+#SPHINXOPTS   = --fail-on-warning
+SPHINXOPTS   =
 BUILDDIR     = _build
 BUILDER      = html
 JOBS         = auto
diff --git a/make.bat b/make.bat
index b486783665..fec822e953 100644
--- a/make.bat
+++ b/make.bat
@@ -11,7 +11,7 @@ if "%PYTHON%" == "" (
 )
 
 set BUILDDIR=_build
-set SPHINXOPTS=--fail-on-warning --keep-going
+set SPHINXOPTS=--fail-on-warning
 set _ALL_SPHINX_OPTS=%SPHINXOPTS%
 
 if "%1" == "check" goto check
diff --git a/make.ps1 b/make.ps1
index d6b5f3293e..ffda672698 100644
--- a/make.ps1
+++ b/make.ps1
@@ -8,7 +8,7 @@ Set-StrictMode -Version 3.0
 $ErrorActionPreference = "Stop"
 
 $BUILDDIR = "_build"
-$SPHINXOPTS = "--fail-on-warning --keep-going"
+$SPHINXOPTS = "--fail-on-warning"
 $_ALL_SPHINX_OPTS = $SPHINXOPTS
 
 $_PYTHON = $Env:PYTHON ?? "py -3"