[issue25062] Doc linter error: [2] library/typing.rst:358: default role used

[Zachary Ware]

Zachary Ware added the comment:

Guido van Rossum added the comment:
> That link gives me a timeout right now. How can I run the doc linter manually? "make html" in the Doc tree didn't alert me to this issue.

"make check" is the doc linter.

I've considered whether to back that buildbot off to only warn on
'lint' or 'suspicious' failure, but warnings aren't reported by the
IRC notifier.  Anyone else have an opinion on that?


I'll try to get this fixed soonish, but if anyone can beat me to it, feel free :)

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue25062>
_______________________________________