Wiki 同步机制
tools/sync_wiki.sh - docs/ 目录树也存在于 GitHub Wiki 上。
同步内容
Wiki 获取的是经过筛选的页面集(首页、快速上手、构建、架构概览、调试与 QEMU、L1 扩展指南、用户手册、常见问题、发布说明,以及各领域的手册),这些页面都从相同的 docs/ 源文件生成 - 一个创作源,两个输出(网站上的文档中心,以及 GitHub 上的 Wiki)。
如何同步
- 脚本将
docs/页面映射到 Wiki 页面名称(映射表存储在脚本中)。 - 将相对链接重写为 Wiki 页面链接。
- 克隆
{repo}.wiki,写入页面,提交,推送。
验证
- 所有映射的 Wiki 页面均存在(脚本会打印列表)。
- 链接检查:映射集合中没有红色链接。
- 内容一致性:Wiki 页面和 docs 页面渲染相同的 markdown 源(脚本在推送前会比较它们的差异)。
运行时机
在发布时(docs/ 更新合并后)以及针对仅 docs 的更新按需运行。