summaryrefslogtreecommitdiff
path: root/docs/refman/main.py
AgeCommit message (Expand)Author
2021-10-04docs: Temporarily disable modules and move RefMan --> Reference-manualDaniel Mensinger
2021-10-03docs: Use a custom hotdoc extension for links to RefManDaniel Mensinger
2021-10-03docs: Added Markdown generatorDaniel Mensinger
2021-10-03docs: Added pickle generatorDaniel Mensinger
2021-10-03docs: Initial reference manual generatorDaniel Mensinger