#!/bin/sh

DPI=300
SCL=0.25
if [ "$ROT" = "" ] ; then
  ROT=0
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 | \
  pnmcrop | pnmscale $SCL | pnmrotate $ROT | pnmtopng | \
  convert -border 10x10 -bordercolor white - $NAME.png
done

