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

Guido van Rossum report at bugs.python.org
Thu Sep 10 21:16:34 CEST 2015

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>

More information about the docs mailing list