Julien Palard <julien+pyt...@palard.fr> added the comment:
The previous one could probably be implemented in rstlint using (an equivalent
of):
git grep ':[a-z]\+:``[^:` ]+``' Doc/
Maybe specialized to known roles, like the script specializes to known
directives.
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue42238>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
