2 LHS2TEX = lhs2TeX -v --poly --haskell
5 RSVG = rsvg-convert --format=pdf
24 default: clash-haskell09
26 clash-haskell09: texs figs $(TEXSRCS) $(LHFORMATS)
27 $(LHS2TEX) $(FILE).lhs > $(FILE).tex; \
30 $(RM) $(LHSRCS:.lhs=.tex)
32 texs : $(LHSRCS:.lhs=.tex)
36 figs : $(SVGFIGURES:.svg=.pdf)
41 latexmk -CA clash-haskell09
42 $(RM) $(SVGFIGURES:.svg=.pdf)
45 $(RM) $(FILE).synctex.gz