EXTRA_DIST = \
icons.edc \
-ico_anchorblock.png \
-ico_anchorview.png \
ico_bubble.png \
ico_button.png \
ico_check.png \
ico_clock.png \
ico_fileselector.png \
ico_fileselector_button.png \
+ico_gengrid.png \
ico_genlist.png \
ico_hoversel.png \
+ico_icon.png \
ico_list.png \
ico_map.png \
+ico_multibuttonentry.png \
ico_notepad.png \
ico_photocam.png \
ico_progressbar.png \
ico_radio.png \
ico_scrolled_entry.png \
+ico_scroller.png \
ico_slider.png \
ico_slideshow.png \
ico_spinner.png \