#! /bin/csh -f
# Last edited on 2000-07-20 01:12:47 by stolfi

set usage = "$0 [-dpi RESOLUTION] < PSFILE > PPMFILE"

# Converts an encapsulated postscript image to a ppm image.
# The PSFILE must include %%BoundingBox line

set tmp = "/tmp/$$"
set log = ${tmp}.log
set pdir = "$0"; set pdir = "${pdir:h}"

${pdir}/../lib/do-ps-to-ppm ${tmp} $*
set dostatus = ${status}

if ( ! ( -r ${tmp}.ppm ) ) then
  echo "ppm file not generated" >> ${log}
  set dostatus = 1
else if ( -z ${tmp}.ppm ) then
  echo "ppm file is empty" >> ${log}
  set dostatus = 1
endif

if ( ${dostatus} ) then
  cat ${log} | gawk '//{print > "/dev/stderr";}' 
  /bin/rm -f ${log}
  exit 1
else if ( -r ${log} ) then
  cat ${log} | gawk '//{print > "/dev/stderr";}' 
  /bin/rm -f ${log}
endif

cat ${tmp}.ppm
/bin/rm -f ${tmp}.ppm
exit 0