rough sketch with some examples

2018-04-23 00:22:21 +02:00
parent d1a1834846
commit ccf852b018
9 changed files with 7559 additions and 18 deletions
--- a/7
+++ b/7
@ -3,7 +3,12 @@
 INPUT = sketch.md.lhs

 pdf: $(INPUT)
-	pandoc -f markdown+lhs+smart+emoji -o documentation.pdf $(INPUT)
+	pandoc -f markdown+lhs+smart+emoji -H make-code-footnotesize.tex \
+	-o documentation.pdf $(INPUT)
+
+slides: $(INPUT)
+	pandoc -f markdown+lhs+smart+emoji -t revealjs --self-contained --incremental \
+	-o documentation.html $(INPUT)


 run: $(INPUT)