Skip to content


Modifying the documentation

This documentation is built via MkDocs and hosted via GitHub pages. The configuration file is mkdocs.yml, and documentation Markdown source is in docs/. GitHub Actions workflows build the documentation in pull requests, and deploy it to GitHub pages on pushes to main.

To build and serve the documentation locally at

python3 -m venv mkdocs-venv
source mkdocs-venv/bin/activate
pip install -U pip
pip install -r docs-requirements.txt
mkdocs serve