Building documentation

To build the documentation, make sure all the requirements are installed using

pip install -r requirements/docs.txt

Then change to the doc/ directory and run

make html