2 LHS2TEX = lhs2TeX -v --poly --haskell
5 RSVG = rsvg-convert --format=pdf
23 mealymachine2-func-red.svg \
24 mealymachine2-state-red.svg \
28 default: clash-haskell09
30 clash-haskell09: texs figs $(TEXSRCS) $(LHFORMATS)
31 $(LHS2TEX) $(FILE).lhs > $(FILE).tex; \
34 $(RM) $(LHSRCS:.lhs=.tex)
36 texs : $(LHSRCS:.lhs=.tex)
40 figs : $(SVGFIGURES:.svg=.pdf)
45 latexmk -CA clash-haskell09
46 $(RM) $(SVGFIGURES:.svg=.pdf)
49 $(RM) $(FILE).synctex.gz