aboutsummaryrefslogtreecommitdiff
path: root/bin/make_redirects.py
diff options
context:
space:
mode:
Diffstat (limited to 'bin/make_redirects.py')
-rwxr-xr-xbin/make_redirects.py4
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()