diff --git a/Doc/make.bat b/Doc/make.bat
index 3a4b365689d..7ca84979a30 100644
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -22,7 +22,7 @@ if not defined SPHINXBUILD (
         %PYTHON% -m pip install python-docs-theme
         if errorlevel 1 exit /B
     )
-    set SPHINXBUILD=%PYTHON% -c "import sphinx, sys; sys.argv[0] = 'sphinx-build'; sphinx.main()"
+    set SPHINXBUILD=%PYTHON% -c "import sphinx, sys; sys.argv[0] = 'sphinx-build'; sys.exit(sphinx.main())"
 )
 
 if not defined BLURB (