From 823b82fbaa70449e9a97351ee185ca3274e0714d Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Wed, 18 Oct 2023 11:34:10 -0400
Subject: Add html extensions to redirect files

---
 bin/make_redirects.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin')

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()
-- 
cgit v1.2.3-54-g00ecf