3 if [[ "$png" = *_[1-9]*_[1-9]*.png ]];
13 if [ ! -f $svg.svg -a ! -f $svg.svgz ]
17 if [ -f $png -a ! -f $svg.svg ]
25 w=$(grep 'width="[0-9px.]*"' $svg.svg | head -n 1 | sed -e 's/^[^"]*"//' -e 's/[px]*".*//')
29 h=$(grep 'height="[0-9px.]*"' $svg.svg | head -n 1 | sed -e 's/^[^"]*"//' -e 's/[px]*".*//')
31 ksvgtopng $w $h $svg.svg $png
34 gzip -dc <$svg.svgz >$svg.svg
35 ksvgtopng $w $h $svg.svg $png