diff options
| author | Andrés Delfino <adelfino@gmail.com> | 2018-05-28 20:28:22 -0300 |
|---|---|---|
| committer | Steve Dower <steve.dower@microsoft.com> | 2018-05-28 16:28:22 -0700 |
| commit | 8c1ad0c4f69390fded09012e1ed5242c45753bb4 (patch) | |
| tree | 8066025bd2a4b43ffe12c26a5b3ea2befc724be3 | |
| parent | 3d3e66c2daebd8e6b18944eac7546168c0006c78 (diff) | |
| download | cpython-git-8c1ad0c4f69390fded09012e1ed5242c45753bb4.tar.gz | |
bpo-33670: Expose Sphinx errorlevel (GH-7156)
| -rw-r--r-- | Doc/make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index 3a4b365689..7ca84979a3 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 ( |