mapper
  A shell script to log in to the deity country, turn a dump into a pgm file,
and convert to a gif file.  Saves the gif in a new filename determined by the
"frames" file, and increments frames.

pgmmap.awk
   A simple map making program.  Reads a deity dump file and produces
a grayscale .pgm file as output, with each color corresponding to a
country number.  To make a color coded map, scramble the colors.

randppm.awk
   Generates random colors in a ppm file.  Useful for remmapping colors
from pgmmap.awk

over.awk
   Reads in a report file and generates a text overlay of country names.
Requires pbmtext (part of netpbm) to work.

map.param
   A parameter file for mpeg_encode.  You'll have to modify this by hand 
to match the number of gifs (or ppm) files you actually have.

Makefile
  Has rules for map.mpg


   -Drake (dld@chem.psu.edu)		5/12/94
