Ensure sphinx exit code is reported

Signed-off-by: John Strunk <[email protected]>
JohnStrunk · Jun 12, 2021 · 4aecec0 · 4aecec0
1 parent 7bf6924
commit 4aecec0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/make-doc.bat b/make-doc.bat
@@ -27,6 +27,10 @@ if errorlevel 9009 (
 )
 
 %SPHINXBUILD% -M %1 %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O%
+if errorlevel 1 (
+	echo Documentation build failed
+	exit /b 1
+)
 goto end
 
 :help