2 LHS2TEX = lhs2TeX -v --tt
5 RSVG = rsvg-convert --format=pdf
16 figures/pipeline.svg \
24 $(FILE): texs figs $(TEXSRCS) $(LHFORMATS) $(FILE).tex
27 texs : $(LHSRCS:.lhs=.tex)
31 figs : $(SVGFIGURES:.svg=.pdf)
37 $(RM) $(SVGFIGURES:.svg=.pdf)
40 $(RM) $(FILE).synctex.gz