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

if [ $IMG_TYPE = gif ]; then
    interlace=LINE
else
    interlace=NONE
fi

exec convert -interlace $interlace +comment EPS:"${1-"-"}" $IMG_TYPE:-
