Generate a _Sidebar page so the wiki shows its subpages #85

Merged
Tirsvad merged 1 commits from mil-005-wiki-sidebar into main 2026-10-11 03:56:23 +02:00
Owner

The wiki showed only the home page and no way to the other pages: Gitea lists subpages through a _Sidebar page, and none existed (the 21 pages were published, but nothing linked to them from Home).

  • tools/build_wiki.py generates wiki/_Sidebar.md with the seven pages in English, Dansk and Bahasa Melayu; the check reports it when missing or stale.
  • Three tests: every page in every language is linked, every link names a committed page, and each language has one label per page.

Wiki pages changed: _Sidebar (new, shown beside every page). Danish and Malay link labels are short and not native-reviewed.

No issue closed: defect found after MIL-005 was closed; Refs TirSystem/github-action#36.

The wiki showed only the home page and no way to the other pages: Gitea lists subpages through a `_Sidebar` page, and none existed (the 21 pages were published, but nothing linked to them from Home). - `tools/build_wiki.py` generates `wiki/_Sidebar.md` with the seven pages in English, Dansk and Bahasa Melayu; the check reports it when missing or stale. - Three tests: every page in every language is linked, every link names a committed page, and each language has one label per page. Wiki pages changed: `_Sidebar` (new, shown beside every page). Danish and Malay link labels are short and not native-reviewed. No issue closed: defect found after MIL-005 was closed; Refs TirSystem/github-action#36.
Tirsvad added 1 commit 2026-10-11 03:56:04 +02:00
Generate a _Sidebar page so the wiki shows its subpages
TirSystem/github-action: Publish wiki / publish-wiki (push) Skipped
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Successful in 15s
e6c855554c
Task: MIL-005#3
Tirsvad merged commit 21b9b83e82 into main 2026-10-11 03:56:23 +02:00
Tirsvad deleted branch mil-005-wiki-sidebar 2026-10-11 03:56:23 +02:00
Sign in to join this conversation.