projects / matthijs / master-project / dsd-paper.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: 09a5bf4)
Merge branch 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 13:29:07 +0000 (14:29 +0100)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Wed, 27 Jan 2010 13:29:07 +0000 (14:29 +0100)
* 'master' of http://git.stderr.nl/matthijs/projects/cλash-paper:
  Don't pass --haskell to lhs2TeX, it is the default.

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