$(top_srcdir)/src/ui/gui/icons/16x16/ordinal.png \
$(top_srcdir)/src/ui/gui/icons/16x16/scale.png \
$(top_srcdir)/src/ui/gui/icons/16x16/string.png \
$(top_srcdir)/src/ui/gui/icons/16x16/ordinal.png \
$(top_srcdir)/src/ui/gui/icons/16x16/scale.png \
$(top_srcdir)/src/ui/gui/icons/16x16/string.png \