#!/bin/sh
FILE=`basename $2 .eps`
cat > /tmp/mk$$ <<EOF
GS_LIB=/usr/lib/sdc/bin

$FILE.gif: $1
	/usr/lib/sdc/bin/pstogif $1 \$@ >/dev/null 2>/dev/null
	-(giftrans -t "#ffffff" -o \$@.1 \$@ && mv -f \$@.1 \$@)
EOF
make -f /tmp/mk$$ 1>&2
rm /tmp/mk$$
echo "<IMG SRC=" \"$FILE.gif\" ">"