.SUFFIXES:	.dvi .ps .html

all:	folhas.html sumarios.94-95.html

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

.ps.html:
	gs -sDEVICE=gifmono -sOutputFile=$*.%2.2d.gif - < $<
	ls $*.??.gif | sed -e 's/^/<IMG SRC="/' -e 's/$$/">/' > $@