3 Commits

Include renames

Author	SHA1	Message	Date
Tirsvad	081c6b58f7	Add the Danish and Bahasa Malaysia wiki pages ... Draft ten translations (Home, Onboarding, Credentials, Troubleshooting, Capabilities in da and ms) with the source hash header from ADR-0001, a language switcher on every page and a term list. build_wiki.py --check now reports missing or stale translations, and tests assert that translations follow the structure of the English page. The drafts await review by a native reader (MIL-005 task 5). Task: MIL-005#4	2026-10-10 09:24:41 +08:00
Tirsvad	1472513421	Add the wiki publishing workflow ... Add tools/publish_wiki.py and the Publish wiki workflow, which make the Gitea wiki equal wiki/ through the wiki REST API when a change to wiki/ is merged to main. It needs its own secret TOKEN_FOR_GITEA_WIKI, refuses an empty source and checks that the English pages are current first. Document the secret in the credentials and troubleshooting guides and regenerate the affected wiki pages. Task: MIL-005#8	2026-10-10 09:06:13 +08:00
Tirsvad	8d62ea0d56	Generate the English wiki pages from README.md and guides/ ... Add tools/build_wiki.py, which builds the five English wiki pages into wiki/, rewrites links so they work inside the wiki and reports pages that differ from their sources. Offline tests cover the conversion and assert that the committed pages are current. Task: MIL-005#3	2026-10-10 08:53:30 +08:00