#! /bin/csh -f -e

set name = "$1"
set color = "$2"

ppmmake "${color}" 600 400 | pnmgamma 1.8 | pnmdepth 255 | ppmtogif > ${STOLFIHOME}/PUB/images/flags/solid/${name}.gif
