#!/bin/bash
for x in *.ppm; do
	y=${x%%ppm}
	z=${y}gif
	echo -n  Making $x into $z ...
	ppmquant 250 $x | ppmtogif > $z
	echo done.
done
echo -n Removing old ppm files...
rm -f *.ppm
echo done.