all:	paper.pdf praes.pdf

paper.pdf: paper.tex
	latex paper.tex
	latex paper.tex
	dvips -o paper.ps paper.dvi
	ps2pdf paper.ps paper.pdf

praes.pdf: praes.tex
	pdflatex praes.tex
	pdflatex praes.tex
	pdflatex praes.tex

clean:
	rm -f *.dvi *.aux *.log *.ps *.pdf