diff options
| author | Andrés Delfino <adelfino@gmail.com> | 2018-05-30 16:08:25 (GMT) |
|---|---|---|
| committer | Steve Dower <steve.dower@microsoft.com> | 2018-05-30 16:08:25 (GMT) |
| commit | 05f1c8902c78dce66aed067444e2b973221bae2b (patch) | |
| tree | 3b9e46d6cb62e321bc9905964172c62e57f6952d /Doc/make.bat | |
| parent | 143ce5c6db77a0b9d451b8463dee6752358a9ea4 (diff) | |
| download | cpython-05f1c8902c78dce66aed067444e2b973221bae2b.zip cpython-05f1c8902c78dce66aed067444e2b973221bae2b.tar.gz cpython-05f1c8902c78dce66aed067444e2b973221bae2b.tar.bz2 | |
bpo-33696: Install python-docs-theme even if SPHINXBUILD is defined (GH-7242)
Diffstat (limited to 'Doc/make.bat')
| -rw-r--r-- | Doc/make.bat | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index 7ca8497..0808e0c 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -16,15 +16,16 @@ if not defined SPHINXBUILD ( %PYTHON% -m pip install sphinx if errorlevel 1 exit /B ) - %PYTHON% -c "import python_docs_theme" > nul 2> nul - if errorlevel 1 ( - echo Installing python-docs-theme with %PYTHON% - %PYTHON% -m pip install python-docs-theme - if errorlevel 1 exit /B - ) set SPHINXBUILD=%PYTHON% -c "import sphinx, sys; sys.argv[0] = 'sphinx-build'; sys.exit(sphinx.main())" ) +%PYTHON% -c "import python_docs_theme" > nul 2> nul +if errorlevel 1 ( + echo Installing python-docs-theme with %PYTHON% + %PYTHON% -m pip install python-docs-theme + if errorlevel 1 exit /B +) + if not defined BLURB ( %PYTHON% -c "import blurb" > nul 2> nul if errorlevel 1 ( @@ -35,9 +36,6 @@ if not defined BLURB ( set BLURB=%PYTHON% -m blurb ) -if not defined SPHINXBUILD set SPHINXBUILD=sphinx-build -if not defined BLURB set BLURB=blurb - if "%1" NEQ "htmlhelp" goto :skiphhcsearch if exist "%HTMLHELP%" goto :skiphhcsearch |