This page explains how to build, serve, and deploy the docs site locally and to GitHub Pages.
# Serve locally with live reload (opens browser)
./run_docs.sh --serve
# Build static site into ./site and open file URL
./run_docs.sh --build
# Deploy to GitHub Pages (gh-pages branch) and open Pages URL
./run_docs.sh --deploy
The script auto-selects a MkDocs runner in this order: uvx mkdocs, mkdocs, or uv run --with mkdocs --with mkdocs-material mkdocs.
mkdocs.yml at repository rootuvx (recommended), mkdocs, or uvmkdocs gh-deploy --force, publishing to the gh-pages branch.gh-pages automatically when configured to “Deploy from a branch”.https://<org>.github.io/<repo>/.If you prefer a custom GitHub Actions workflow (checkout → build → upload-pages-artifact → deploy-pages), add a workflow under .github/workflows/pages.yml following GitHub’s guide. The local script remains useful for previewing changes and local development.
Reference: GitHub Docs — Publishing with a custom GitHub Actions workflow.
mkdocs is not installed, the script falls back to uvx or a temporary uv run install.mkdocs.yml exists at the repo root.nav.uv and rely on uvx mkdocs, or pipx install mkdocs.gh-pages branch.mkdocs.yml nav: entries match file names.