#!/bin/csh -f
# convert ps file to Gif
#
set resolution = 95
set quantcmd = "cat"
set transcmd = "-transparent #ffffff "
#
if ($#argv < 1) then
  echo "Usage:"
  echo "  ps2gif [ -res RESOLUTION ] [ -notrans ] psfile.ps"
  echo " "
  exit 1
endif
#
while ( $#argv )
  switch ( $argv[1] )
  case "-quant" :
    set quantcmd = "ppmquant 50"
    breaksw
  case "-notrans" :
    set transcmd = ""
    breaksw
  case "-res" :
    shift
    if ( ! $#argv ) then
      echo "ps2gif: no resolution specified"
      exit 1
    endif
    set resolution = $argv[1]
    breaksw
  default:
    set fig = $argv[1]
    breaksw
  endsw
  shift
end
cat $fig \
| gs -q -dNOPAUSE -r$resolution -sDEVICE=ppm -sOutputFile=- - \
| pnmcrop | $quantcmd | ppmtogif -interlace $transcmd > $fig:r.gif
echo "Done"
