this does a thing we don't actually want to do (generate a pdf), and is also broken, because everything is someone else's problem
Co-authored-by: Pheenoh <pheenoh@gmail.com>
* set up Doxygen
- `.gitignore`: ignore Doxygen output
- limit Doxygen search to relevant paths
- move extra `.md`s to docs/
- `Makefile`: add Doxygen target
- use as much SVG as possible for Doxygen diagrams
- alias @meme as an \xrefitem
* new github workflow: run doxygen and push to gh pages
Luke Street