#!/bin/sh

DPI=300
#DPI=600

mkdir ../figures_png_300dpi ../figures_jpg_preview ../icons

for FILE in $@ ; do
  echo $FILE
  F=`echo $FILE | awk '{ print gensub("^(.*)\\\\.[^\\\\.]*$", "\\\\1", 1, $0); }'`

  gs -sPAPERSIZE=a4 -dEPSCrop -r$DPI -sDEVICE=png16m -sOutputFile=$FILE%ld.png -dNOPAUSE $FILE quit.ps
  
  pngtopnm $FILE"1.png" | pnmcrop | pnmtopng > ../figures_png_300dpi/$F.png
  rm $FILE"1.png"
  convert ../figures_png_300dpi/$F.png -geometry '800x480>' -sharpen 1,0.5 -quality 95 ../figures_jpg_preview/$F.jpg
  convert ../figures_png_300dpi/$F.png -geometry '180x90>'  -sharpen 1,0.5 -quality 95 ../icons/$F.jpg
done