#/bin/bash
# bash script converts some png files to gifs for IE6. Uses imagemagick's convert utility.
for i in `echo "vote_positive_gray.png vote_negative_gray.png vote_positive.png vote_negative.png"` ;
do
echo "Converting: $i"
convert $i `basename $i .png`.gif
done
