diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-07-05 18:52:11 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-07-05 18:52:11 +0300 |
commit | 56aea3b7141dcdca447bfadf2a8ae1e0cb6ce5d7 (patch) | |
tree | b3705ad81699b344c638571264c767fe6b45840c /utils | |
parent | 60b4cd4046bf127f6d9ad982e3b9874dae773e04 (diff) |
doclinter: Allow anonymous hyperlink target having long URL
Diffstat (limited to 'utils')
-rw-r--r-- | utils/doclinter.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/doclinter.py b/utils/doclinter.py index 6299fe46a..48e40e90a 100644 --- a/utils/doclinter.py +++ b/utils/doclinter.py @@ -49,6 +49,9 @@ def lint(path: str) -> int: if re.match(r'^\s*\.\. ', line): # ignore directives and hyperlink targets pass + elif re.match(r'^\s*__ ', line): + # ignore anonymous hyperlink targets + pass elif re.match(r'^\s*``[^`]+``$', line): # ignore a very long literal string pass |