scratch/Makefile

   1 SHELL := bash
   2
   3 FILENAME := Translation
   4
   5 .PHONY: all read aread clean
   6
   7
   8 all: $(FILENAME).pdf
   9
  10 %.tex: %.lhs
  11          lhs2TeX -o $@ $<
  12
  13 %.pdf: %.tex
  14         pdflatex $<
  15         pdflatex $<
  16
  17 read: $(FILENAME).pdf
  18         evince $< &
  19
  20 aread: $(FILENAME).pdf
  21         acroread $< &
  22
  23 clean:
  24         rm -rf $(FILENAME).{ps,ptb,tex,pdf,log,aux,out,dvi,bbl,blg}