#!/bin/sh
pngtopnm "$1" | ppmquant 256 | ppmtogif >"${1%.[Pp][Nn][Gg]}.gif"
.