#!/bin/sh

dvips $1.dvi -o $1.ps
gs -sDEVICE=gifmono -sOutputFile=$1.%2.2d.gif - < $1.ps 
ls $1.??.gif | sed -e 's/^/<IMG SRC="/' -e 's/$/">/' > $1_em_gif.html