Start

Documentation & Deployment

This page explains how to build, serve, and deploy the docs site locally and to GitHub Pages.

Quick Commands

# 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.

Prerequisites

GitHub Pages

Deploy from Branch

Deploy with Actions (Alternative)

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.

Troubleshooting

Common errors