From c04c13936fc497526eb52f6510837d94e8772189 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Wed, 18 Oct 2023 11:45:25 -0400 Subject: Try to fix proposals redirects for md proposals --- bin/make_redirects.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/make_redirects.py b/bin/make_redirects.py index f7347c6..3e677ee 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -51,8 +51,10 @@ def proposal_redirects(proposals_dir): m = re.match(r'^(\d+)-.*\.(?:md|txt)$', fname) if m: source = m.group(1) + ".html" - target = fname - lines.append(f'"/{source}" = "./{target}"\n') + target, targetext = os.path.splitext(fname) + if targetext == '.md': + targetext = ".html" + lines.append(f'"/{source}" = "./{target}{targetext}"\n') lines.sort() return "".join(lines) -- cgit v1.2.3-54-g00ecf