title-convert.sh

   1 #! /bin/sh
   2
   3 while [ $# -gt 0 ];do
   4         f="`echo $1|sed 's/\.ps$//'`"
   5         shift
   6
   7         gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
   8         pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
   9         rm -f "$f"-gs.png
  10         pngtopnm "$f".png |cjpeg -optimize >"$f".jpeg
  11         pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpeg
  12         rm -f "$f".png
  13
  14         done