all: dtc-paper.ps dtc-paper.pdf dtc-manual.txt

dtc-manual.txt: manual.txt
	cp -f $< $@

dtc-paper.dvi: dtc-paper.tex
	latex $<

dtc-paper.ps: dtc-paper.dvi
	dvips $<

dtc-paper.pdf: dtc-paper.tex
	pdflatex $<

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