# Icon size.
echo Now the icon, half size.
echo Converting fig to ppm
for number in 0 1 2 3 4 5 6 7 8 9 A B; do fig2dev -L ppm -m 0.249 tt$number.fig tt$number.ppm; done
echo Cropping twice
for number in 0 1 2 3 4 5 6 7 8 9 A B; do pnmcrop tt$number.ppm |pnmcrop >ttc$number.ppm; done
echo Converting to gif
for number in 0 1 2 3 4 5 6 7 8 9 A B; do ppmtogif ttc$number.ppm >tt$number.gif; done
echo Merging.
gifmerge -l3 -10 tt?.gif -1 tt0.gif >tth_mini_a.gif
rm -f *.ppm


