all: isiri6219.dvi isiri6219.ps isiri6219.ps.gz

%.dvi: %.ftx
	ftex $<
	ftex $<

%.ps: %.dvi
	dvips -Pftex $< -o $@

%.gz: %
	gzip -c -9 $< > $@