#!/bin/sh
#
# This will try to process each GIF file on the command line and make
# a small version of it using Netscape colors.  Output files are created
# in the current working directory.
#
# edit the FRACTION for a different size
# edit "-small.gif" to create different output file names

FRACTION=0.2

while [ $# -gt 0 ]; do

# should check that input is GIF and output is successful (but won't)

  file $1
  base=`basename $1 .gif`
  giftopnm $1 | \
  pnmscale $FRACTION | \
  ppmquant -map /home/ljg/util/netscape-colors.ppm | \
  ppmtogif -sort > ${base}-small.gif

  shift

done

exit