aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Documentation/conf.py
AgeCommit message (Expand)AuthorFilesLines
2020-08-10doc: use a smaller logo in the sidebarLuc Van Oostenryck1-1/+7
2020-06-20doc: switch to the sphinx_rtd themeLuc Van Oostenryck1-1/+8
2020-06-15doc: minimal version for Sphinx is 1.7Luc Van Oostenryck1-1/+1
2020-06-13doc: show the ToC in the sidebarLuc Van Oostenryck1-6/+1
2018-05-21doc: add sphinx domain for IR instruction indexationLuc Van Oostenryck1-0/+1
2018-05-21autodoc: by default disable syntax highlightingLuc Van Oostenryck1-0/+2
2018-05-21autodoc: add a sphinx c:autodoc directive for the extracted docLuc Van Oostenryck1-3/+7
2018-05-21doc: format dev-options.md as a man pageLuc Van Oostenryck1-0/+1
2018-05-21doc: allow .md with py3-sphinxLuc Van Oostenryck1-3/+10
2018-05-21doc: set primary domain to CLuc Van Oostenryck1-0/+3
2018-05-21doc: automatically get the versionLuc Van Oostenryck1-3/+3
2018-05-21doc: automatically set the copyright dateLuc Van Oostenryck1-1/+2
2018-05-21doc: add logoLuc Van Oostenryck1-1/+1
2018-05-21doc: add minimal support for sphinx-docLuc Van Oostenryck1-0/+159