Documentation
We use MkDocs, more specifically Material for MkDocs for documentation. To support documentation for multiple versions, we use the plugin mike. Source files for the documentation are at docs and configuration at mkdocs.yml.
To build and view the documentation run
and open the URL shown by the mike serve command.
To publish the documentation run