Install python-docs-theme even if SPHINXBUILD is defined

BPO	33696
Nosy	@pfmoore, @tjguk, @zware, @zooba, @andresdelfino, @miss-islington
PRs	bpo-33696: Install python-docs-theme even if SPHINXBUILD is defined #7242 [3.7] bpo-33696: Install python-docs-theme even if SPHINXBUILD is defined (GH-7242) #7248 [3.6] bpo-33696: Install python-docs-theme even if SPHINXBUILD is defined (GH-7242) #7249

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = None
closed_at = <Date 2018-06-02.18:29:07.906>
created_at = <Date 2018-05-30.13:20:02.394>
labels = ['3.8', 'type-feature', '3.7', 'OS-windows']
title = 'Install python-docs-theme even if SPHINXBUILD is defined'
updated_at = <Date 2018-06-02.18:29:07.905>
user = 'https://github.com/andresdelfino'

bugs.python.org fields:

activity = <Date 2018-06-02.18:29:07.905>
actor = 'adelfino'
assignee = 'none'
closed = True
closed_date = <Date 2018-06-02.18:29:07.906>
closer = 'adelfino'
components = ['Windows']
creation = <Date 2018-05-30.13:20:02.394>
creator = 'adelfino'
dependencies = []
files = []
hgrepos = []
issue_num = 33696
keywords = ['patch']
message_count = 4.0
messages = ['318183', '318197', '318203', '318204']
nosy_count = 6.0
nosy_names = ['paul.moore', 'tim.golden', 'zach.ware', 'steve.dower', 'adelfino', 'miss-islington']
pr_nums = ['7242', '7248', '7249']
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue33696'
versions = ['Python 3.6', 'Python 3.7', 'Python 3.8']