summaryrefslogtreecommitdiff
path: root/docs/conf.py
AgeCommit message (Expand)AuthorFilesLines
2020-06-22docs: cat maintainer keys to a single fileEric Engestrom1-1/+1
2020-06-22docs: drop deleted file from extra sphinx filesEric Engestrom1-1/+0
2020-06-18docs: publish our release maintainers' keysEric Engestrom1-0/+1
2020-06-13docs: include specs into the generated docsErik Faye-Lund1-0/+1
2020-06-13docs: bundle extra filesErik Faye-Lund1-0/+9
2020-06-13docs: Add the favicon to the new page.Laura Ekstrand1-0/+2
2020-06-13docs: do not copy source-files to siteErik Faye-Lund1-0/+2
2020-06-13docs: Remove version.Laura Ekstrand1-1/+3
2020-06-13docs: disable syntax-highlighting by defaultErik Faye-Lund1-0/+4
2020-06-13docs: use sphinxErik Faye-Lund1-0/+160