diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:34:10 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:34:10 -0400 |
commit | 823b82fbaa70449e9a97351ee185ca3274e0714d (patch) | |
tree | 7b342155d4838696cbbbc98f1f07444f4f1db67a /bin | |
parent | d8cd1bc90ab496fc7f29dad8c2d647b92d43a6b4 (diff) | |
download | torspec-823b82fbaa70449e9a97351ee185ca3274e0714d.tar.gz torspec-823b82fbaa70449e9a97351ee185ca3274e0714d.zip |
Add html extensions to redirect files
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/make_redirects.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/make_redirects.py b/bin/make_redirects.py index 9175f64..7472734 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -25,7 +25,7 @@ def book_redirects(rs, spec_dir): if os.path.isdir(os.path.join(spec_dir, kwd)): source = kwd + "/index.html" else: - source = kwd + source = kwd + ".html" target = info['target'] lines.append( f'"/{source}" = "{target}"\n' @@ -48,7 +48,7 @@ def proposal_redirects(proposals_dir): for fname in os.listdir(proposals_dir): m = re.match(r'^(\d+)-.*\.(?:md|txt)$', fname) if m: - source = m.group(1) + source = m.group(1) + ".html" target = fname lines.append(f'"/{source}" = "./{target}"\n') lines.sort() |