X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=scratch%2FMakefile;h=4485a6a81a7f1bcd882feab53b7ae92e58bab880;hb=08628062840ccf3730e239222c30e78b403dc6f4;hp=064aadce43833a64edfff3818a93dc873bcaeede;hpb=a02b7201d043e4583e0a27c78a5f8831b60e90f2;p=mate.git

diff --git a/scratch/Makefile b/scratch/Makefile
index 064aadc..4485a6a 100644
--- a/scratch/Makefile
+++ b/scratch/Makefile
@@ -1,23 +1,24 @@
-filename=Translation
+SHELL := bash
 
-tex: ${filename}.lhs
-	 lhs2TeX -o ${filename}.tex ${filename}.lhs
+FILENAME := Translation
 
-pdf: ps
-	ps2pdf ${filename}.ps
+.PHONY: all read aread clean
 
-ps: dvi
-	dvips ${filename}.dvi
 
-dvi: tex
-	latex ${filename}.tex
-	latex ${filename}.tex
+all: $(FILENAME).pdf
 
-read:
-	evince ${filename}.pdf &
+%.tex: %.lhs
+	 lhs2TeX -o $@ $<
 
-aread:
-	acroread ${filename}.pdf &
+%.pdf: %.tex
+	pdflatex $<
+	pdflatex $<
+
+read: $(FILENAME).pdf
+	evince $< &
+
+aread: $(FILENAME).pdf
+	acroread $< &
 
 clean:
-	rm -f ${filename}.ps ${filename}.ptb ${filename}.tex ${filename}.pdf ${filename}.log ${filename}.aux ${filename}.out ${filename}.dvi ${filename}.bbl ${filename}.blg
+	rm -rf $(FILENAME).{ps,ptb,tex,pdf,log,aux,out,dvi,bbl,blg}