#!/bin/sh
giftoppm "$1" | ppmtopgm | pgmtopbm | pnmtotiff -g4 >"${1%.gif}.tif"
.