Link to Disposition of Comments from the index page

sideshowbarker · sideshowbarker · commit 2ff7cbcfb475 · 2026-02-03T18:32:33.000+09:00
For each spec that has issues-*.html files (Disposition of Comments
documents), show links to them below the spec title.
diff --git a/bin/build-index.py b/bin/build-index.py
@@ -7,6 +7,7 @@
 * builds timestamps.json, which provides metadata about the specs
 """
 
+import glob
 import json
 import os
 import os.path
@@ -174,6 +175,8 @@ def escape_html(text):
 
         metadata["dir"] = entry.name
         metadata["currentWork"] = False
+        issues_files = sorted(glob.glob(os.path.join(entry.path, "issues-*.html")))
+        metadata["issues"] = [os.path.basename(f) for f in issues_files]
         specgroups[metadata["shortname"]].append(metadata)
 
 # Reorder the specs with common shortname based on their level (or year, for
@@ -231,10 +234,18 @@ def escape_html(text):
         ts = timestamps.get(dir_name)
         date_str = format_timestamp(ts) if ts else ""
 
+        issues_html = ""
+        if spec["issues"]:
+            links = []
+            for fname in spec["issues"]:
+                label = fname.replace("issues-", "").replace(".html", "")
+                links.append(f'<a href="./{dir_name}/{fname}">{label}</a>')
+            issues_html = '<br><span class="issues">DoC: ' + " \u00b7 ".join(links) + '</span>'
+
         indent_class = ' class="grouped-spec"' if is_group else ""
         rows.append(
             f'      <tr{indent_class}>\n'
-            f'        <td><a href="./{dir_name}/">{title}</a>{current_label}</td>\n'
+            f'        <td><a href="./{dir_name}/">{title}</a>{current_label}{issues_html}</td>\n'
             f'        <td>{date_str}</td>\n'
             f'      </tr>'
         )
@@ -297,6 +308,10 @@ def escape_html(text):
     .grouped-spec td:first-child {{
       padding-left: 2em;
     }}
+    .issues {{
+      font-size: 0.85em;
+      color: #666;
+    }}
   </style>
 </head>
 <body>
