aboutsummaryrefslogtreecommitdiff
path: root/docs
AgeCommit message (Collapse)Author
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.