+###--------------------------------------------------------------------------
+### Various useful tools.
+
+CLEANFILES = *-stamp
+
+## MetaPost
+MPOST = mpost
+CLEANFILES += *.[0-9]* *.mps
+%.mpost-stamp: %.mp
+ $(MPOST) $<
+ for i in $*.[0-9]*; do mv $$i $*-$${i##*.}.mps || exit 1; done
+ echo timestamp >$@
+
+## LaTeX and frinds
+CLEANFILES += *.log *.dvi *.ps *.toc *.lot *.lof *.aux *.pdf *.bbl *.blg
+CLEANFILES += *.out
+%.pdf: %.ps; ps2pdf $< $@
+%.ps: %.dvi; dvips -o $@.new $< && mv $@.new $@
+%.dvi: %.dvi-stamp;
+%.gz: %; gzip -9vc $^ >$@.new && mv $@.new $@
+
+###--------------------------------------------------------------------------
+### Making the main paper.
+
+all:: wrestlers.ps wrestlers.ps.gz wrestlers.pdf
+wrestlers.dvi-stamp: wrestlers.tex
+ ./build-latex.sh wrestlers bibtex $< \
+ '\let\iffancystyle\iftrue'
+
+all:: wr-llncs.ps wr-llncs.ps.gz wr-llncs.pdf
+wr-llncs.dvi-stamp: wrestlers.tex
+ ./build-latex.sh wr-llncs bibtex $< \
+ '\let\iffancystyle\iffalse \let\ifshort\iftrue'
+
+###--------------------------------------------------------------------------
+### Making the slides.
+
+all:: wr-slides.pdf-stamp
+wr-slides.pdf-stamp: wrslides.tex wr-main.tex
+ ./build-latex.sh wr-slides pdf $< \
+ '\includeonly{wr-main}'
+
+###--------------------------------------------------------------------------
+### Useful stuff.
+
+.PHONY: clean
+clean:; rm -f $(CLEANFILES)
+
+###----- That's all, folks --------------------------------------------------