Changing this document¶
You can generate the documentation locally with:
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
Alternatively, a read-only access to the repository is available at:
The documentation is also automatically generated on Readthedocs.org when new content is pushed to the source repository.