#! /bin/bash
# Last edited on 2024-04-01 14:46:57 by stolfi

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

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

tmp="/tmp/$$"
log=${tmp}.log
pdir="$0"; pdir="${pdir%/*}"

${STOLFIHOME}/lib/do-ps-to-png ${tmp} $*
dostatus=${status}

if [[ ! ( -e ${tmp}.png )  ]]; then
  echo "** png file not generated" >> ${log}
  dostatus=1
elif [[  -z ${tmp}.png  ]]; then
  echo "** png file is empty" >> ${log}
  dostatus=1
fi

if [[ ${dostatus} -ne 0 ]]; then
  cat ${log} 1>&2
  rm ${log}
  exit 1
elif [[ -e ${log} ]]; then
  cat ${log} 1>&2
  /bin/rm -f ${log}
fi

cat ${tmp}.png
rm -f ${tmp}.png
exit 0