dodona-docs

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.