Commit graph

2 commits

Author SHA1 Message Date
Marius Vikhammer 407275f681 doc: add latex and PDF generation to build_docs
Adds options for generating tex-files and PDFs when building documentation

Closes IDF-1217
Closes IDF-1464
2020-04-15 17:14:22 +08:00
Angus Gratton 1a2ddcb77a docs: deploy docs to production server from CI 2020-03-16 14:36:23 +11:00