--- /dev/null
+filename=Translation
+
+tex: ${filename}.lhs
+ lhs2TeX -o ${filename}.tex ${filename}.lhs
+
+pdf: ps
+ ps2pdf ${filename}.ps
+
+ps: dvi
+ dvips ${filename}.dvi
+
+dvi: tex
+ latex ${filename}.tex
+ latex ${filename}.tex
+
+read:
+ evince ${filename}.pdf &
+
+aread:
+ acroread ${filename}.pdf &
+
+clean:
+ rm -f ${filename}.ps ${filename}.ptb ${filename}.tex ${filename}.pdf ${filename}.log ${filename}.aux ${filename}.out ${filename}.dvi ${filename}.bbl ${filename}.blg