CI: build pdf documentation on tags
We are serving the documentation pdf from downloads, so we could provide it automatically. Also currently link to the documentation pdf it with the version tag; perhaps we should upload it both as vX.Y.Z
and latest
.
Update
Building PDFs on tags is now done, by !171 (merged), !184 (merged) documents manually uploading the PDF documentation to the website.
Edited by Joseph Weston