#![]{sh}[]
#
# Oh, we are sh!
#
# Dieses Skript wandelt eine PostScript--Datei in ein GIF--Bild um.
# Nach ,pstogif' von Nikos Drakos.
#
# Parameter:
# $1
#  Dateiname ohne Endung
# $2
#  Zoomfaktor in Prozent
# $3
#  Pfad zu pstoppm.ps
#
# Revision: 30. September 1994
# Markus.Porto@physik.uni-giessen.de
#

# Trap--Handler
trap 'rm -f $1.ppm $1.[1-9]*ppm ; exit' 1 2 3 4 13 15

# wo ist was?
GS='[]{gs}[]'
PNMCROP='[]{pnmcrop}[]'
PPMTOGIF='[]{ppmtogif}[]'

# los geht's
$GS -q -dNODISPLAY $3 << EOF
$2 $2 ppmsetdensity
($1) ppm1run
EOF

if [ -f $1.ppm ] ; then
  $PNMCROP $1.ppm | $PPMTOGIF - > $1.gif
else
  for name in `/bin/ls $1.[1-9]*ppm`
  do
    newname=`/bin/echo $name | /bin/sed 's/ppm$/\.gif/'`
    $PNMCROP $name | $PPMTOGIF - > $newname
  done
fi

# ppm--Dateien l"oschen
rm -f $1.ppm
rm -f $1.[1-9]*ppm

# und Schlu"s
exit 0
