Docs changes

Every new feature and every change in behavior updates the documentation in the same change. A new option gets its entry in the configuration reference, and a changed command updates the pages that show it.

The documentation is an Antora site. The pages are AsciiDoc files under docs/modules/ROOT/, and the Antora extensions sit in docs/extensions/. docs/ says what each directory and CMake target under docs/ does. A new page in this section needs its entry in docs/modules/ROOT/nav.adoc.

Build the site

Install Node.js and npm first. Then install MrDocs and build a preview of your working tree, as Development Workflow shows. docs/build_docs.sh builds the published site from the playbook branches and tags. It does not preview a change.

The contributor guide

The Contribute section is documentation for developers, kept to the same standard as the user documentation. It presents its concepts in order, in a hierarchy a newcomer can follow from the quickstart down.

A change that affects how developers work updates this section in the same change, the way a new feature updates the user pages. Examples are a new just recipe, a new check in lint.py, a moved directory and a new step in a release.