Julien Palard <[email protected]> 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 <[email protected]>
<https://bugs.python.org/issue42238>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
