bpo-42238: [doc] moving from rstlint.py to sphinx-lint. (GH-31097)

This commit is contained in:
Julien Palard 2022-02-10 08:59:04 +01:00 committed by GitHub
parent b71dc71905
commit b878b3af0b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 24 additions and 4 deletions

5
Doc/tools/rstlint.py Executable file → Normal file
View file

@ -345,6 +345,11 @@ Options: -v verbose (print all checked file names)
count = defaultdict(int)
print("""⚠ rstlint.py is no longer maintained here and will be removed
in a future release.
Please use https://pypi.org/p/sphinx-lint instead.
""")
for root, dirs, files in os.walk(path):
# ignore subdirs in ignore list
if abspath(root) in ignore: