summaryrefslogtreecommitdiff
path: root/docs/refman
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #9377 from mensinda/jsonDocsJussi Pakkanen2021-10-246-9/+249
|\ | | | | docs: Add a JSON documentation backend
| * docs: Update docsDaniel Mensinger2021-10-091-2/+8
| |
| * docs: Added JSON generatorDaniel Mensinger2021-10-093-1/+210
| |
| * docs: Added pickle RefMan loaderDaniel Mensinger2021-10-072-2/+27
| |
| * docs: minor model refectoringDaniel Mensinger2021-10-071-4/+4
| |
* | Fix typosHofer-Julian2021-10-211-1/+1
|/ | | | "seperator" -> "separator"
* docs: Temporarily disable modules and move RefMan --> Reference-manualDaniel Mensinger2021-10-043-5/+13
|
* Minor fixupsDaniel Mensinger2021-10-042-6/+11
|
* docs: Fix mypyDaniel Mensinger2021-10-034-3/+4
|
* docs: Use a custom hotdoc extension for links to RefManDaniel Mensinger2021-10-035-74/+57
|
* docs: Added Markdown generatorDaniel Mensinger2021-10-0311-0/+662
|
* docs: Added pickle generatorDaniel Mensinger2021-10-032-1/+30
|
* docs: Initial reference manual generatorDaniel Mensinger2021-10-037-0/+754