diff options
Diffstat (limited to 'Doc/tools/rstlint.py')
| -rw-r--r--[-rwxr-xr-x] | Doc/tools/rstlint.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index 33cbaadfce..d1c53dcb1a 100755..100644 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -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: |