Makefile

   1 FILE    = talk
   2 LHS2TEX = lhs2TeX -v --tt
   3 LATEXMK = latexmk -pdf
   4 RM      = rm -f
   5 RSVG    = rsvg-convert --format=pdf
   6
   7 LHSRCS = \
   8
   9 LHFORMATS = \
  10         talk.fmt
  11
  12 TEXSRCS = \
  13         preamble.tex
  14
  15 SVGFIGURES = \
  16
  17 default: $(FILE)
  18
  19 $(FILE): texs figs $(TEXSRCS) $(LHFORMATS) $(FILE).tex
  20         $(LATEXMK) $(FILE); \
  21         open $(FILE).pdf; \
  22         $(RM) $(LHSRCS:.lhs=.tex)
  23
  24 texs : $(LHSRCS:.lhs=.tex)
  25 %.tex : %.lhs
  26         $(LHS2TEX) $< > $@
  27
  28 figs : $(SVGFIGURES:.svg=.pdf)
  29 %.pdf : %.svg
  30         $(RSVG) $< > $@
  31
  32 clean:
  33         latexmk -C talk
  34         $(RM) $(SVGFIGURES:.svg=.pdf)
  35         $(RM) $(FILE).tex
  36         $(RM) $(FILE).ptb
  37         $(RM) $(FILE).synctex.gz
  38         $(RM) $(FILE).nav
  39         $(RM) $(FILE).snm
  40         $(RM) *.hi *.o *.aux