aboutsummaryrefslogtreecommitdiff
path: root/docs/manual.md
AgeCommit message (Collapse)Author
2020-09-10Updated documentation header levels.mitchell
2020-09-04Moved all top-level .md files into docs/ except README.md.mitchell
Also fixed lack of header anchors in generated HTML.
2020-09-04Renamed doc/ to docs/ and removed bombay dependency.mitchell
Added some documentation infrastructure for eventual migration to a new build service. Use a simple Lua script for generating documentation offline.