Documentation development

First, make sure that the necessary dependencies for building documentation are installed:

make install

The following command builds the documentation:

make docs

The resulting documentation build will be available in docs/build/html.

Instead, you can also use make docs-serve to (re-)build the docs and start a local server, which can be accessed on http://localhost:8000.

The following command deletes previously built documentation:

make docs-clean