site: add redirect links from /xls/xls-[num].html to /xls/xls-[num]-[short-description].html (#443)

mvadari · web-flow · commit a3d00a2f6422 · 2026-02-10T10:39:01.000+01:00
site: add redirect links from `/xls/xls-[num].html` to /xls/xls-[num]-[short-description].html
diff --git a/scripts/build_site.py b/scripts/build_site.py
@@ -100,6 +100,32 @@ def build_site():
     # Sort documents by number in reverse order (later ones more relevant)
     xls_docs.sort(key=lambda x: int(x.number), reverse=True)
 
+    # Generate simple redirect pages so /xls-<number>.html redirects to
+    # the canonical document URL under /xls/<folder>.html.
+    redirect_template = env.get_template("redirect.html")
+    for doc in xls_docs:
+        # Redirect pages live under /xls/, next to the canonical XLS HTML files.
+        # For local builds (base_url == "."), use a relative URL that does *not*
+        # add another /xls/ segment; otherwise we create /xls/xls/<file>.html.
+        if base_url == ".":
+            # From scripts/_site/xls/xls-<number>.html → ./<folder>.html
+            target_url = f"./{doc.folder}.html"
+        else:
+            # On GitHub Pages, use an absolute URL with the base path.
+            target_url = f"{base_url}/xls/{doc.folder}.html"
+
+        redirect_html = redirect_template.render(
+            title=f"XLS-{doc.number}: {doc.title}",
+            target_url=target_url,
+        )
+
+        # /xls/ alias: /xls/xls-<number>.html
+        redirect_xls_path = site_dir / "xls" / f"xls-{doc.number}.html"
+        with open(redirect_xls_path, "w", encoding="utf-8") as f:
+            f.write(redirect_html)
+
+        print(f"Generated redirect: {redirect_xls_path} -> {target_url}")
+
     # Group documents by category for category pages and navigation
     categories = {}
     for doc in xls_docs:
diff --git a/scripts/templates/redirect.html b/scripts/templates/redirect.html
@@ -0,0 +1,40 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <title>{{ title }}</title>
+    <link rel="canonical" href="{{ target_url }}" />
+
+    <!-- Perform a JS redirect as early as possible to minimize flicker. -->
+    <script>
+      // Use replace() so the redirect page is not kept in history
+      window.location.replace("{{ target_url }}");
+    </script>
+    <noscript>
+      <meta http-equiv="refresh" content="0; url={{ target_url }}" />
+    </noscript>
+
+    <!-- Match the site's dark background so there isn't a bright flash -->
+    <style>
+      html,
+      body {
+        margin: 0;
+        padding: 0;
+        background-color: #111112; /* var(--bg-color) from main site */
+        color: #ffffff;
+        font-family:
+          system-ui,
+          -apple-system,
+          BlinkMacSystemFont,
+          "Segoe UI",
+          sans-serif;
+      }
+    </style>
+  </head>
+  <body>
+    <p>
+      Redirecting to
+      <a href="{{ target_url }}">{{ title }}</a>...
+    </p>
+  </body>
+</html>
