The documentation is missing versioning

[Ludee]

Description of the issue

The documentation is missing versioning. The MkDocs should be specific to each software version.

Ideas of solution

There is a specific package called mike to handle the versions. Sources:

• https://squidfunk.github.io/mkdocs-material/setup/setting-up-versioning/
• https://github.com/jimporter/mike

Workflow checklist

• [x] I am aware of the workflow in CONTRIBUTING.md

[Ludee]

Using mike to set version numbers to the documentation is working great. But it is not compatible with an automated GitHub workflow to push the documentation. When pushing to the production branch, the workflow overrides the branch gh-pages and all version are deleted.

🐙 The workflow can be deactivated on GitHub: https://docs.github.com/de/enterprise-cloud@latest/actions/using-workflows/disabling-and-enabling-a-workflow

[Ludee]

In order to have the version slider on older versions before mike has been implemented, simply add it to mkdocs.yml after checking out the Git Tag and then register the version with mike.

[Ludee]

In order to have the latest develop branch with mike versioning, update the stale GitHub workflow to push the develop branch after a PR.