2 LHS2TEX = lhs2TeX -v --tt
5 RSVG = rsvg-convert --format=pdf
9 matthijs/introduction.lhs \
10 christiaan/introduction.lhs \
12 christiaan/dotproduct.lhs \
13 christiaan/structure.lhs \
14 christiaan/reductioncircuit.lhs \
15 christiaan/recursion.lhs
25 mealymachine2-func-red.svg \
26 mealymachine2-state-red.svg \
28 figures/schakelingen/CMOS_NAND_Layout.svg
30 default: clash-haskell09
32 clash-haskell09: texs figs $(TEXSRCS) $(LHFORMATS)
33 $(LHS2TEX) $(FILE).lhs > $(FILE).tex; \
36 $(RM) $(LHSRCS:.lhs=.tex)
38 texs : $(LHSRCS:.lhs=.tex)
42 figs : $(SVGFIGURES:.svg=.pdf)
47 latexmk -C clash-haskell09
48 $(RM) $(SVGFIGURES:.svg=.pdf)
51 $(RM) $(FILE).synctex.gz