+ $(top_srcdir)/src/ui/gui/icons/weight-cases.png \
+ $(top_srcdir)/src/ui/gui/icons/16x16/nominal.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 \
+ $(top_srcdir)/src/ui/gui/icons/16x16/date-scale.png \
+ $(top_srcdir)/src/ui/gui/icons/splash.png