Documentation

The documentation was built with Sphinx and Readthedocs.

The documentation source files are located in source.

In order to build the documentation locally, execute the following command inside the directory of this repository:

make html

Clean the build directory with

make clean

Then push the changes to the Github repository and the documentation will be updated automatically.