4 f="`echo $1|sed 's/\.pdf$//'`"
7 gs -sDEVICE=png16m -r500 -dNOPAUSE -sOutputFile="$f"-gs.png "$f".pdf -c quit
8 pngtopnm "$f"-gs.png |pnmscale 0.125|pnmtopng -interlace -verbose >"$f".png
10 pngtopnm "$f".png |cjpeg -optimize >"$f".jpeg
11 pngtopnm "$f".png |pnmscale .2|cjpeg -optimize >"$f"s.jpeg