Changing this documentΒΆ

This documentation is formatted with ReST and managed by the Sphinx documentation engine.

You can generate the documentation locally with:

make html

You will need to have GNU Make and Sphinx installed for this to work.

Changes should be pushed to the central git repository at:

This requires write access to the repository, which can be requested at

Alternatively, a read-only access to the repository is available at:


The documentation is also automatically generated on when new content is pushed to the source repository.