Generate the English wiki pages from README.md and guides/ #43

Merged

Tirsvad merged 1 commits from mil-005-english-wiki-pages into main

2026-10-10 02:54:59 +02:00

Author	SHA1	Message	Date
Tirsvad	8d62ea0d56	Generate the English wiki pages from README.md and guides/ Validate workflows / validate (pull_request) Successful in 13s Details 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

Author

SHA1

Message

Date

Tirsvad

8d62ea0d56

Generate the English wiki pages from README.md and guides/

Validate workflows / validate (pull_request) Successful in 13s

Details

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