Documentation should automatically compile #2
Description
The pdf documentation should use CI to automatically compile from the code. If not this, then at least it should be easy to do! Currently the pdf committed to this repository is out-of-sync with the code (see #1).