scratch/Makefile

   1 filename=Translation
   2
   3 tex: ${filename}.lhs
   4          lhs2TeX -o ${filename}.tex ${filename}.lhs
   5
   6 pdf: ps
   7         ps2pdf ${filename}.ps
   8
   9 ps: dvi
  10         dvips ${filename}.dvi
  11
  12 dvi: tex
  13         latex ${filename}.tex
  14         latex ${filename}.tex
  15
  16 read:
  17         evince ${filename}.pdf &
  18
  19 aread:
  20         acroread ${filename}.pdf &
  21
  22 clean:
  23         rm -f ${filename}.ps ${filename}.ptb ${filename}.tex ${filename}.pdf ${filename}.log ${filename}.aux ${filename}.out ${filename}.dvi ${filename}.bbl ${filename}.blg