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

Zachary Ware report at bugs.python.org
Thu Sep 10 21:26:39 CEST 2015

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>

More information about the docs mailing list