Building the docs

1. In the folder docs, run pip install -r requirements.txt.

2. Then you can build the current docs using make html.

3. See the output by opening docs/build/html/index.html.