diff options
Diffstat (limited to 'bin/make_redirects.py')
| -rwxr-xr-x | bin/make_redirects.py | 6 |
1 files changed, 4 insertions, 2 deletions
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) |