bpo-33673: Install python-docs-theme even if Sphinx is already instal…

bpo-33673: Install python-docs-theme even if Sphinx is already instal… · python/cpython@a379dea

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,13 @@ if not defined SPHINXBUILD (`
`13`	`13`	`%PYTHON% -c "import sphinx" > nul 2> nul`
`14`	`14`	`if errorlevel 1 (`
`15`	`15`	`echo Installing sphinx with %PYTHON%`
`16`		`-%PYTHON% -m pip install sphinx python-docs-theme`
	`16`	`+%PYTHON% -m pip install sphinx`
	`17`	`+if errorlevel 1 exit /B`
	`18`	`+ )`
	`19`	`+%PYTHON% -c "import python_docs_theme" > nul 2> nul`
	`20`	`+if errorlevel 1 (`
	`21`	`+echo Installing python-docs-theme with %PYTHON%`
	`22`	`+%PYTHON% -m pip install python-docs-theme`
`17`	`23`	`if errorlevel 1 exit /B`
`18`	`24`	`)`
`19`	`25`	`set SPHINXBUILD=%PYTHON% -c "import sphinx, sys; sys.argv[0] = 'sphinx-build'; sphinx.main()"`