running 'make html' from the Doc tree emits an unwelcoming error message

BPO	36838
Nosy	@gpshead
PRs	bpo-36838: Suggest 'make venv' when missing Doc/ tools. #13173

^{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 = 'https://github.com/gpshead'
closed_at = <Date 2019-05-07.21:04:44.013>
created_at = <Date 2019-05-07.19:37:17.697>
labels = ['build', '3.8']
title = "running 'make html' from the Doc tree emits an unwelcoming error message"
updated_at = <Date 2019-05-07.21:04:44.012>
user = 'https://github.com/gpshead'

bugs.python.org fields:

activity = <Date 2019-05-07.21:04:44.012>
actor = 'gregory.p.smith'
assignee = 'gregory.p.smith'
closed = True
closed_date = <Date 2019-05-07.21:04:44.013>
closer = 'gregory.p.smith'
components = ['Build']
creation = <Date 2019-05-07.19:37:17.697>
creator = 'gregory.p.smith'
dependencies = []
files = []
hgrepos = []
issue_num = 36838
keywords = ['patch']
message_count = 3.0
messages = ['341806', '341814', '341824']
nosy_count = 1.0
nosy_names = ['gregory.p.smith']
pr_nums = ['13173']
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'compile error'
url = 'https://bugs.python.org/issue36838'
versions = ['Python 3.8']