.SUFFIXES: .dvi .ps .gif .tx

#.ps.gif: 
#	./ps2gif $*.ps > $*.gif

.dvi.ps:
	dvips -o $*.ps $*.dvi

.ps.gif: 
	PS2GIFSCALE=0.2 ps2gif < $*.ps > $*.gif
	giftrans -t white -o OUT $*.gif
	mv OUT $*.gif

.tx.dvi: 
	cat TXpre $*.tx TXpost > tmp.tx
	tex tmp.tx
	rm tmp.tx
	mv tmp.dvi $*.dvi