diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-07-24 23:26:38 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-24 23:26:38 +0900 |
| commit | 5b096c42ff3a907fa7bcce3fa620209da16d40bd (patch) | |
| tree | fd4ef8ae3fe7ff37200c21e776372eb9c2f9bf6c /utils/doclinter.py | |
| parent | 95067c0813202a5ccd1452e40353b9dda91aee20 (diff) | |
| parent | 0c4edbdb382d95bf898cce50ecf3b95174f27f91 (diff) | |
| download | sphinx-git-5b096c42ff3a907fa7bcce3fa620209da16d40bd.tar.gz | |
Merge pull request #8002 from tk0miya/update_doc_linter
doclinter: Allow a very long literal string
Diffstat (limited to 'utils/doclinter.py')
| -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 52b2fe892..bb11decaf 100644 --- a/utils/doclinter.py +++ b/utils/doclinter.py @@ -50,6 +50,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 a very long literal string + pass else: print('%s:%d: the line is too long (%d > %d).' % (path, i + 1, len(line), MAX_LINE_LENGTH)) |