CompilingDocs

How to compile the documentation

Just enter the directory docs in the main repository and then issue the command make html. A zillion of other formats is supported, see make alone for details.