mirrors/cpython
0
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-01-21 07:55:16 +08:00
Code Issues Packages Projects Releases Wiki Activity

bpo-33673: Install python-docs-theme even if Sphinx is already installed (GH-7163)

Browse Source
This commit is contained in:
Andrés Delfino 2018-05-28 20:20:34 -03:00 committed by Steve Dower
parent 7165754b6b
commit 3d3e66c2da
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Doc/make.bat
View File

@ -13,7 +13,13 @@ if not defined SPHINXBUILD (
%PYTHON% -c "import sphinx" > nul 2> nul
if errorlevel 1 (
echo Installing sphinx with %PYTHON%
%PYTHON% -m pip install sphinx python-docs-theme
%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'; sphinx.main()"