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

diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py
index 9e2557182d42e7f16f2fd0330f665f6c7bb26ad5..e7afc0524ccca5e2b326aa39586bcb9238685e87 100755 (executable)
--- a/Doc/tools/rstlint.py
+++ b/Doc/tools/rstlint.py
@@ -44,7 +44,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 = {}