intro.ps: intro.dvi
	dvips -o intro.ps intro.dvi

intro.dvi: intro.toc intro.tex
	latex intro.tex

intro.toc:
	latex intro.tex
