2 Commity (7a2ea9b7f7c2fcbb0817a95af578415de5c5d2f4)

Autor	SHA1	Wiadomość	Data
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