2 LHS2TEX = lhs2TeX -v --tt
5 RSVG = rsvg-convert --format=pdf
19 $(FILE): texs figs $(TEXSRCS) $(LHFORMATS) $(FILE).tex
22 $(RM) $(LHSRCS:.lhs=.tex)
24 texs : $(LHSRCS:.lhs=.tex)
28 figs : $(SVGFIGURES:.svg=.pdf)
34 $(RM) $(SVGFIGURES:.svg=.pdf)
37 $(RM) $(FILE).synctex.gz