#!/bin/sh

cd gifs
for giffile in *.gif ; do
    pngfile="`echo $giffile | sed -e 's/\.gif/\.png/'`"
    echo "converting $giffile to $pngfile"
    convert $giffile $pngfile
done
mv *.png ..
