--- a/scripts/make_pngs.sh	Tue Sep 13 08:17:28 2011 +0200
+++ b/scripts/make_pngs.sh	Tue Sep 13 18:22:28 2011 +0200
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+set -e
+set -u
+
 tilesize=20
 svgdir=source/svg
 pngdir=data/tiles
@@ -14,3 +17,15 @@
         pngcrush -q $filepath tmp && mv tmp $filepath
     done
 done
+
+pngdir=data
+for subdir in menus
+do
+    for x in $svgdir/$subdir/*.svg
+    do
+        filename=`basename $x`
+        filepath=$pngdir/$subdir/${filename/svg/png}
+        rsvg-convert $x -o $filepath
+        pngcrush -q $filepath tmp && mv tmp $filepath
+    done
+done