Use lhs2tex for code and verbatim formatting

[matthijs/master-project/dsd-paper.git] / Makefile

diff --git a/Makefile b/Makefile
index 4271429c6fab025969a2a70a128ff3e240f27510..f372234c6895f0888b117a0ace2b80521b091e48 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 all:
+       lhs2TeX -v --poly --haskell < cλash.lhs > cλash.tex
        latexmk -pdf -pv cλash.tex
 
 clean: