From d8af8302430d85589df0a76d43dda9bac5be27c4 Mon Sep 17 00:00:00 2001 From: "Miss Islington (bot)" <31488909+miss-islington@users.noreply.github.com> Date: Mon, 28 May 2018 18:08:17 -0700 Subject: [PATCH] bpo-33673: Install python-docs-theme even if Sphinx is already installed (GH-7163) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit (cherry picked from commit 3d3e66c2daebd8e6b18944eac7546168c0006c78) Co-authored-by: Andrés Delfino --- Doc/make.bat | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Doc/make.bat b/Doc/make.bat index c69cfae3194..3a4b365689d 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -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()"