From d9c530f58480ca39d5f7d69be1321832522111aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9s=20Delfino?= Date: Mon, 28 May 2018 12:31:53 -0300 Subject: [PATCH] Expose Sphinx errorlevel --- Doc/make.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/make.bat b/Doc/make.bat index c69cfae3194164..cc4d6c87de2559 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -16,7 +16,7 @@ if not defined SPHINXBUILD ( %PYTHON% -m pip install sphinx 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 (