+
+# openlayers images
+mkdir $DESTDIR/openlayers/img
+for file in east-mini.png \
+ north-mini.png \
+ blank.gif \
+ west-mini.png \
+ zoom-plus-mini.png \
+ south-mini.png \
+ zoom-minus-mini.png \
+ zoom-world-mini.png; do
+ cp -p openlayers/img/$file $DESTDIR/openlayers/img
+done
+# openlayers theme
+mkdir -p $DESTDIR/openlayers/theme/default/img
+cp -Lp openlayers/theme/default/style.css $DESTDIR/openlayers/theme/default/style.css
+cp -RLp openlayers/theme/default/img/close.gif $DESTDIR/openlayers/theme/default/img