Docs maintenance¶
This page is for contributors working on the documentation site itself.
Local docs build¶
Build the docs locally from the repository root:
Serve locally during editing:
The docs source lives under docs/ and the generated site is written to site/.
Tooling version¶
The GitHub Pages workflow pins:
Keep local verification aligned with that version when diagnosing rendering differences between local output and GitHub Pages.
Site configuration¶
The docs navigation, theme, markdown extensions, and site URL live in:
When you add a new page, update the nav there so the page is included in the built site.
GitHub Pages deployment¶
GitHub Pages is deployed by the Documentation workflow in .github/workflows/docs.yml.
The workflow uses the standard two-job GitHub Pages pattern:
- the
buildjob checks out the repo - configures Pages metadata
- installs the pinned
zensicalversion - runs
zensical build --clean - uploads the generated
site/directory as the Pages artifact - the
deployjob publishes that artifact withactions/deploy-pages
Common contributor checks¶
- If a page is missing from the site, verify it is present in
zensical.tomlnavigation. - If rendering differs between local and CI, compare the
zensicalversion first. - If deployment succeeds but the live site still looks old, verify the latest workflow run is the active Pages deployment and rule out browser caching.
- If Pages deployment fails, verify the workflow is still using the standard separate
buildanddeployjobs and thatsite/is uploaded byactions/upload-pages-artifact.