diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index cbcb8eb801b135..c9bff80995bfd3 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -42,10 +42,89 @@ 'versionchanged' ] -all_directives = '(' + '|'.join(directives) + ')' -seems_directive_re = re.compile(r'(?