The developer documentation is written in markdown syntax in plain text documents, managed in a git repository and ready for your contribution:

To parse and display the documentation on a live site, the markdown sources can be uploaded to the server. Then the CLI script is executed with the make docu option, which will send requests to GitHub’s markdown parser. The resulting HTML is then stored to the database.

It is also possible to perform these operations locally and then synchronize the remote database.