#!/bin/sh

DPI=150
SCL=0.4

if [ "$ROT" != "" ] ; then
  ROT="pnmflip -r270 |"
fi

for FILE in $@ ; do
  NAME=`echo $FILE | awk 'BEGIN{FS=".";} {print $1}'`

  gs -q -dSAFER -sPAPERSIZE=a4 -sDEVICE=ppmraw -sOutputFile=- -dNOPAUSE -r"$DPI"x"$DPI" $FILE quit.ps | \
  pnmscale $SCL | eval $ROT pnmcrop | pnmtopng | \
  convert -border 10x10 -bordercolor white - $NAME.png
done

