icfp99.ps.gz: icfp99.dvi
	dvips -o icfp99.ps icfp99.dvi
	gzip icfp99.ps
