#!/bin/sh X=`kpsewhich $1` Y=`basename $X .gif`.png convert $X $Y