aboutsummaryrefslogtreecommitdiff
path: root/scripts/gen_doc.lua
AgeCommit message (Collapse)Author
2020-09-08Changed processing pipeline for manually generating documentation.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.