1#!/bin/csh
2
3if( $#argv < 2 )then
4  echo "Usage: gmovie pnmfile pnmfile ..."
5  echo "Makes a GIF movie from a bunch of PNM files"
6  echo "Output file is called gmovie.gif"
7  echo "N.B.: colors are picked from file gmovie.ppmap"
8  exit 0
9endif
10
11set glist = ( )
12foreach fff ( $argv )
13   ppmtogif -map gmovie.ppmap $fff > ${fff}.gif
14   set glist = ( $glist ${fff}.gif )
15end
16
17# Units of time are centi-seconds (why? I don't know)
18
19whirlgif -loop 1 -time 20 $glist > gmovie.gif
20/bin/rm -f $glist
21