auto doc generation

2019-06-11 01:17:36 +02:00
parent d01269aa13
commit 6f5ecc87b0
22 changed files with 2375 additions and 229 deletions
@@ -9,6 +9,10 @@ echo ""
 pushd ./bin > /dev/null
 time ./slime --run-tests

+echo ""
+echo "generating docs"
+time ./slime generate-docs.slime
+
 popd > /dev/null
 popd > /dev/null
 unset TIMEFORMAT