#!/bin/sh
bmptoppm "$1" | ppmquant 256 | ppmtogif >"${1%.[Bb][Mm][Pp]}.gif"
.