all:
	tex 0.8.x.tex
	dvips 0.8.x.dvi