3 commits

Author	SHA1	Message	Date
Fu Hanxi	d41c130b68	add some prefix for doc urls to make BOT recognize the preview doc url	2020-04-29 15:41:53 +08:00
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