To build the documentation,
```
cd build
# configure:
cmake -GNinja -DCONFIGURE_DOXY=ON ..
# build:
ninja doxy
```

The configure step writes Doxyfiles to the directory
`<build>/doxygen`. Do not edit these files.

The build step writes the documentation to `<build>/html`.
