Documentation

The documentation was built with Sphinx and Readthedocs.

The documentation source files are located in docs/source.

In order to build the documentation locally, execute the following command in the docs/ directory:

make html

Clean the build directory with

make clean

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