This file is only included to make sure the automatic tests can be executed
whether the documentation has been compiled or not.

You can compile the documentation by installing mdBook and then executing

> mdbook docs/