diff options
| -rwxr-xr-x | Doc/tools/rstlint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index 66dd46a..be19ec8 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -45,7 +45,7 @@ directives = [ all_directives = '(' + '|'.join(directives) + ')' seems_directive_re = re.compile(r'\.\. %s([^a-z:]|:(?!:))' % all_directives) default_role_re = re.compile(r'(^| )`\w([^`]*?\w)?`($| )') -leaked_markup_re = re.compile(r'[a-z]::[^=]|:[a-z]+:|`|\.\.\s*\w+:') +leaked_markup_re = re.compile(r'[a-z]::\s|`|\.\.\s*\w+:') checkers = {} |