Dodona documentation
To build these docs locally, install Python (and pip) and run this command:
$ pip install sphinx sphinx-autobuild
Run make html to build these docs in the _build directory.
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.