2 LHS2TEX = lhs2TeX -v --tt
5 RSVG = rsvg-convert --format=pdf
9 matthijs/introduction.lhs \
10 christiaan/introduction.lhs \
12 christiaan/dotproduct.lhs
22 mealymachine2-func-red.svg \
23 mealymachine2-state-red.svg \
25 figures/schakelingen/CMOS_NAND_Layout.svg
27 default: clash-haskell09
29 clash-haskell09: texs figs $(TEXSRCS) $(LHFORMATS)
30 $(LHS2TEX) $(FILE).lhs > $(FILE).tex; \
33 $(RM) $(LHSRCS:.lhs=.tex)
35 texs : $(LHSRCS:.lhs=.tex)
39 figs : $(SVGFIGURES:.svg=.pdf)
44 latexmk -C clash-haskell09
45 $(RM) $(SVGFIGURES:.svg=.pdf)
48 $(RM) $(FILE).synctex.gz