diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:39:39 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:39:39 -0400 |
commit | 3a4b8d38728ae504e75a0b2c864b0db50cf87119 (patch) | |
tree | 980e9d34fe3bc7e2776cfd27fb11b556c71998d1 /bin | |
parent | 823b82fbaa70449e9a97351ee185ca3274e0714d (diff) | |
download | torspec-3a4b8d38728ae504e75a0b2c864b0db50cf87119.tar.gz torspec-3a4b8d38728ae504e75a0b2c864b0db50cf87119.zip |
No longer add needless redirects.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/make_redirects.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/make_redirects.py b/bin/make_redirects.py index 7472734..f7347c6 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -24,6 +24,8 @@ def book_redirects(rs, spec_dir): for kwd, info in rs.items(): if os.path.isdir(os.path.join(spec_dir, kwd)): source = kwd + "/index.html" + elif any((os.path.isfile(os.path.join(spec_dir, kwd) + ext)) for ext in [".txt", ".md"]): + continue else: source = kwd + ".html" target = info['target'] |