No longer pnmcrop(1) it.
- The resulting images have slightly larger black page top leading now. It looks correct, though.
#! /bin/sh
while [ $# -gt 0 ];do
- f="`echo $1|sed 's/\.ps$//'`"
+ f="`echo $1|sed 's/\.pdf$//'`"
shift
- gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".ps -c quit
- pngtopnm "$f"-gs.png |pnmcrop|pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
+ gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".pdf -c quit
+ pngtopnm "$f"-gs.png |pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
rm -f "$f"-gs.png
pngtopnm "$f".png |cjpeg -optimize >"$f".jpeg
pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpeg