mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-10-02 13:22:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8

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

Browse source 
(cherry picked from commit 3d3e66c2da)

Co-authored-by: Andrés Delfino <adelfino@gmail.com>
This commit is contained in:
Miss Islington (bot) 2018-05-28 18:03:38 -07:00 • committed by GitHub
parent ddc613f203
commit a379dea11e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
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 %PYTHON% -c "import sphinx" > nul 2> nul
if errorlevel 1 ( if errorlevel 1 (
echo Installing sphinx with %PYTHON% 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 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'; sphinx.main()"