Using ftb print and updated the doc generation

2020-05-20 23:20:47 +02:00
parent e660884e49
commit f190f40402
21 changed files with 621 additions and 4823 deletions
@@ -26,3 +26,5 @@ todo.html
 /bin/slime_d
 /bin/slime_p
 *.json
+/bin/manual.pdf
+/bin/manual.tex