3 if [[ "$png" = *_[1-9]*_[1-9]*.png ]];
11 w=$(grep 'width=".*px"' gui_actions.svg | head -n 1 | sed -e 's/px".*//' -e 's/.*"//')
12 h=$(grep 'height=".*px"' gui_actions.svg | head -n 1 | sed -e 's/px".*//' -e 's/.*"//')
15 if [ -f $png -a ! -f $svg.svg ]
21 ksvgtopng $w $h $svg.svg $png
24 gzip -dc <$svg.svgz >$svg.svg
25 ksvgtopng $w $h $svg.svg $png