The documentation is created with Jekyll and is located in the own branch
gh-pages within the normal GitHub repository.
In order to edit the documentation, you have to switch to this Branch.
Followed by the content can be edited directly. The actual content pages are located under
The navigation can be found under
_includes/navigation.html and should be adapted if necessary.
To be able to see the result of local changes directly, you have to either Jekyll locally install (which is partially not easy), or start the Vagrant VM with
jekyll_vagrant. The latter should ensure that immediately after a successful start, that the documentation is reachable under http://localhost:4000 (in fact directly on the host, and not only within the VM).
It should be noted that the Jekyll server starts through Vagrant provisioning, thus the shell command
vagrant up never returns, but it shows directly the Jekyll server messages.
The existing graphics were created largely through ppts. The ppts lie in the directory
ppts and the generated images in