4 Commits

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