5 Commits

Author	SHA1	Message	Date
Mike Hearn	f29bbb6b16	Docs: Docs: switch from ReCommonMark to m2r, as RCM is not really maintained and is buggy. ... Tidy up presentation of HA design doc. Misc markup fixes throughout, as revealed by m2r.	2018-05-15 16:59:35 +02:00
Mike Hearn	0dd0657194	Docs: add support for Markdown to Sphinx	2018-05-15 16:59:35 +02:00
Mike Hearn	e110d17bce	Docs: upgrade Sphinx and Pygments. ... We get coloured output from make html now. That seems to be the main benefit of the upgrade.	2018-05-11 13:02:40 +02:00
Mike Hearn	2e1f591e7f	Generate a PDF version of the docsite. Request from a user in Slack.	2018-03-29 10:48:58 +02:00
Andras Slemmer	8ca73e51d4	docs: Add build_docs.sh	2016-07-11 12:17:18 +01:00