diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index c9bff80995bfd3..91aed80b1e9a6c 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -90,7 +90,6 @@ ":newsgroup:", ":code:", ":py:func:", - ":memory:", ":makevar:", ":guilabel:", ":title-reference:", @@ -123,6 +122,13 @@ double_backtick_role = re.compile(r"(?