To generate the javadocs, run the script `doc/run.sh`.

The docs are generated inside of `docs/javadoc`.

It can be useful to read offline.