Merge branch 'master' into xls-draft-confidential-mpt

Author: mvadari

scripts/build_site.py

@@ -120,11 +120,15 @@ def build_site():
         )
 
         # /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)
+        def add_redirect(redirect_url, target_url):
+            redirect_xls_path = site_dir / "xls" / redirect_url
+            with open(redirect_xls_path, "w", encoding="utf-8") as f:
+                f.write(redirect_html)
 
-        print(f"Generated redirect: {redirect_xls_path} -> {target_url}")
+            print(f"Generated redirect: {redirect_xls_path} -> {target_url}")
+
+        add_redirect(f"xls-{doc.number}.html", target_url)
+        add_redirect(f"xls-{doc.raw_number}.html", target_url)
 
     # Group documents by category for category pages and navigation
     categories = {}

scripts/xls_parser.py

@@ -29,6 +29,7 @@ class XLSDocument:
     """Represents an XLS document with metadata."""
 
     number: str
+    raw_number: int
     title: str
     description: str
     authors: List[Tuple[str, str]]  # Tuple of (author_name, author_link)
@@ -123,11 +124,14 @@ def format_author(author):
     xls_match = re.match(r"XLS-(\d+)([d]?)", folder_name)
     if xls_match:
         number = xls_match.group(1)
+        raw_number = int(number)
     else:
         number = "000"
+        raw_number = 0
 
     return XLSDocument(
         number=number,
+        raw_number=raw_number,
         title=metadata.get("title", "Unknown Title"),
         description=metadata.get("description", "No description available"),
         authors=metadata.get("authors", [("Unknown Author", "")]),