The documentation is powered by MkDocs Markdown-based generator.

main branch contains the latest documentation updates. After the release a separate branch must be created for it. Thus, main always contains the latest updates and a release branch (for example, 2023.09) contains only a cutoff for a particular release.

Create a Python virtual environment, install dependencies and activate the environment:

python3 -m venv .venv source .venv/bin/activate pip3 install -r requirements.txt

Mike utility is used for deploying the documentation. It allows to deploy different version of the documentation at the same time.

Use mike deploy command to build and commit the documentation from the current branch to gh-pages branch:

mike deploy 2023.09

If you are ready to push it to the remote repository, then also use --push command:

mike deploy --push 2023.09

List all deployed documentation versions:

$ mike list 2023.09 [latest]

Set the default version:

mike set-default 2023.09

• MkDocs page
• Mike page
• MkDocs Material theme page
• Markdown syntax guide
• A list of languages for Pygments syntax highlighter