From 8c1ad0c4f69390fded09012e1ed5242c45753bb4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Delfino?= Date: Mon, 28 May 2018 20:28:22 -0300 Subject: [PATCH] bpo-33670: Expose Sphinx errorlevel (GH-7156) --- Doc/make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 (