#!/bin/sh
#
#	This script is part of rtfdtohtml.
#	Copyright (c) 1996  Elmar Ludwig - Universitaet Osnabrueck
#
#	Convert eps to gif or png (needs eps2tiff).

tmp=/tmp/$$
trap 'rm -f $tmp.eps $tmp.tiff; exit 2' 1 2 3 15

cat ${1+"$1"} >$tmp.eps
eps2tiff $tmp.eps $tmp.tiff && tiffto$IMG_TYPE.sh $tmp.tiff
result=$?

rm -f $tmp.eps $tmp.tiff
exit $result
