diff options
| author | Julien Palard <julien@palard.fr> | 2022-02-10 07:59:04 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-10 07:59:04 (GMT) |
| commit | b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac (patch) | |
| tree | ecf60e1ac5b98d751865622cc48364cf582b7d9c /Doc/tools | |
| parent | b71dc71905ab674ccaa4a56230d17a28f61c325c (diff) | |
| download | cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.zip cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.tar.gz cpython-b878b3af0b3a9e3ab3ffcaf90a4066dfb3bb7cac.tar.bz2 | |
bpo-42238: [doc] moving from rstlint.py to sphinx-lint. (GH-31097)
Diffstat (limited to 'Doc/tools')
| -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 33cbaad..d1c53dc 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: |