images/genicons.sh
changeset 199 aa5f43bafad4
parent 197 a50b5fa04c57
child 533 25437efb7ae4
--- a/images/genicons.sh	Tue Jul 15 17:35:19 2008 +0200
+++ b/images/genicons.sh	Tue Jul 15 17:57:04 2008 +0200
@@ -4,9 +4,13 @@
 
 for i in `cat icons.svg |grep -o -e '%%[^%]*%%'|sed 's/%//g'` 
 do
- echo "$INKSCAPE" icons.svg -z -e $i.png -i $i
- rm  -f $i.png
- "$INKSCAPE" icons.svg -z -e $i.png -i $i
+ if [ $i.png -nt icons.svg ]; then
+ 	echo "Skip $i"
+ else
+	rm  -f $i.png
+	echo "$INKSCAPE" icons.svg -z -e $i.png -i $i
+	"$INKSCAPE" icons.svg -z -e $i.png -i $i
+ fi
 done
 
 cp ico24.png brz.png