+ $INKSCAPE --export-filename=splash.png src/splash.svg -w 400 -h 300
+
+ # Timeline toolbar icons (all platforms)
+ for i in select zoom zoom_all snap sequence; do
+ $INKSCAPE --export-filename=$i.png src/$i.svg -w 32 -h 32
+ done
+
+ # Playlist editor tick/no-tick
+ $INKSCAPE --export-filename=tick.png src/tick.svg -w 16 -h 16
+ $INKSCAPE --export-filename=no_tick.png src/no_tick.svg -w 16 -h 16
+
+ # Link icon
+ $INKSCAPE --export-filename=link.png src/link.svg -w 9 -h 16
+
+ # favicon
+ mkdir -p web
+ convert src/web.png -resize 256x256 -transparent white web/favicon-256x256.png
+ for r in 16 32 64 128; do
+ convert web/favicon-256x256.png -resize $rx$r web/favicon-${r}x${r}.png
+ done
+ convert web/favicon-16x16.png web/favicon-32x32.png web/favicon-64x64.png web/favicon-128x128.png web/favicon-256x256.png web/favicon.ico
+ convert src/web.png -resize 123x123 -transparent white web/logo.png