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

[Guido van Rossum]

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.

----------

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