[issue33673] Install python-docs-theme even if Sphinx is already installed

[Andrés Delfino]

Andrés Delfino <adelfino at gmail.com> added the comment:

This applies to Windows's make.bat.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue33673>
_______________________________________