#!/bin/bash
for s in `ls tredlib/icons/crystal/*.png`; do
  o="$(basename "$s")"
  gif="documentation/pics/${o%.png}.gif"
  echo $s
  cp $s "documentation/pics/";
  convert $s $gif

  # convert (at least here) doesn't handle None (i.e. transparent) consistentnly
#  cat $s | sed 's/ None",/ white",/' > ${gif%.gif}.xpm
  convert ${s} ${gif%.gif}.eps
#  rm ${gif%.gif}.xpm
done