From 89c90d11d80fde63997ca029e14806df0319a541 Mon Sep 17 00:00:00 2001
From: Christian Cleberg <hello@cleberg.net>
Date: Fri, 7 Aug 2026 03:27:37 -0500
Subject: Sync bundled man page catalog from man.sr.ht (#7)

The More tab's official man-page list was a hardcoded array, updated by
hand. Move it to a checked-in Hutch/Resources/man-pages.json (bundled via
the synchronized group) loaded by a new ManPageCatalog, with the previous
list kept as a built-in fallback.

Add scripts/sync_man_pages.py, which re-derives the catalog from the
man.sr.ht landing page, and a weekly scheduled workflow that runs it and
opens a pull request when the list diverges upstream. The script refuses to
write a suspiciously short list so a markup change can't gut the catalog.

This first sync also picks up chat.sr.ht, which upstream added since the
list was last hand-edited. Tests cover catalog loading, the fallback, and
JSON decoding.
---
 Hutch/Resources/man-pages.json | 50 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 Hutch/Resources/man-pages.json

(limited to 'Hutch/Resources')

diff --git a/Hutch/Resources/man-pages.json b/Hutch/Resources/man-pages.json
new file mode 100644
index 0000000..7adf284
--- /dev/null
+++ b/Hutch/Resources/man-pages.json
@@ -0,0 +1,50 @@
+[
+  {
+    "title": "builds.sr.ht",
+    "url": "https://man.sr.ht/builds.sr.ht/"
+  },
+  {
+    "title": "chat.sr.ht",
+    "url": "https://man.sr.ht/chat.sr.ht/"
+  },
+  {
+    "title": "git.sr.ht",
+    "url": "https://man.sr.ht/git.sr.ht/"
+  },
+  {
+    "title": "hg.sr.ht",
+    "url": "https://man.sr.ht/hg.sr.ht/"
+  },
+  {
+    "title": "hub.sr.ht",
+    "url": "https://man.sr.ht/hub.sr.ht/"
+  },
+  {
+    "title": "lists.sr.ht",
+    "url": "https://man.sr.ht/lists.sr.ht/"
+  },
+  {
+    "title": "man.sr.ht",
+    "url": "https://man.sr.ht/man.sr.ht/"
+  },
+  {
+    "title": "meta.sr.ht",
+    "url": "https://man.sr.ht/meta.sr.ht/"
+  },
+  {
+    "title": "paste.sr.ht",
+    "url": "https://man.sr.ht/paste.sr.ht/"
+  },
+  {
+    "title": "sr.ht",
+    "url": "https://man.sr.ht/sr.ht/"
+  },
+  {
+    "title": "srht.site",
+    "url": "https://srht.site/"
+  },
+  {
+    "title": "todo.sr.ht",
+    "url": "https://man.sr.ht/todo.sr.ht/"
+  }
+]
-- 
cgit v1.2.3