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

Zachary Ware zachary.ware+pydocs at gmail.com
Thu Sep 10 21:24:18 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.

"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?

More information about the docs mailing list