rstlint: make the "html leaked markup" regex a bit less sensitive

diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py
index 66dd46a53eb2e2c74954228fa2827fcfa254aa36..be19ec8b377b7fb3f2f97e3b9f411c53b78f3c75 100755 (executable)
--- 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 = {}