bin/ps-to-gifs.in

   1 #!/bin/bash
   2
   3 usage()
   4 {
   5     echo 'ps-to-gifs.sh FILE.ps'
   6     exit 2;
   7 }
   8
   9 case $# in
  10 1)
  11     FILE=`basename $1 .ps`
  12     ;;
  13 *)
  14     usage
  15     ;;
  16 esac
  17
  18 # generate the pixmap at twice the size, then rescale (for antialiasing)
  19 cat $1 | gs  -q -sDEVICE=ppmraw \
  20     -sOutputFile="|pnmscale 0.5|ppmtogif > $FILE-page%d.gif" \
  21     -r200 -dNOPAUSE - -c quit
  22
  23
  24