Documentors Guide

Documentation for and related projects are maintained in GitHub:

Documentation files are written in reStructuredText and have the file extension .rst. Uploading a file to GitHub will trigger a rebuild of the docs. GitHub include the file index.rst which defines the menu structure. Each menu item corresponds to a GitHub file, which (by convention) should have the same name as the menu item: use concise names!