diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index d742629c621..66dd46a53eb 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -173,10 +173,6 @@ Options: -v verbose (print all checked file names) count = defaultdict(int) for root, dirs, files in os.walk(path): - # ignore subdirs controlled by svn - if '.svn' in dirs: - dirs.remove('.svn') - # ignore subdirs in ignore list if abspath(root) in ignore: del dirs[:]