3 Commits

Author	SHA1	Message	Date
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