tools/scripts/make_icons.sh


1
2
3
4
5

convert -resize 32x32 ../../icon.svg icon32.ico
convert -resize 32x32 ../../icon.svg icon32.icns
for s in 16 24 32 64 96 128 256; do convert -resize ${s}x$s ../../icon.svg icon$s.png; done
zip icons.zip icon*.png
rm icon*.png