projects / matthijs / master-project / dsd-paper.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ee24f26)
Don't pass --haskell to lhs2TeX, it is the default.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 27 Jan 2010 13:28:05 +0000 (14:28 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 27 Jan 2010 13:28:05 +0000 (14:28 +0100)
This makes compilation work with lhs2Tex version 1.13 and before.

Makefile patch | blob | history

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