Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-09-08 | Changed processing pipeline for manually generating documentation. | ||
2020-09-04 | Moved all top-level .md files into docs/ except README.md. | ||
Also fixed lack of header anchors in generated HTML. | |||
2020-09-04 | Renamed doc/ to docs/ and removed bombay dependency. | ||
Added some documentation infrastructure for eventual migration to a new build service. Use a simple Lua script for generating documentation offline. |