+INSTALL_DATA_HOOKS += install-icons install-ext-icons
+UNINSTALL_DATA_HOOKS += uninstall-icons uninstall-ext-icons
+
+if HAVE_GUI
+nodist_src_ui_gui_psppire_DATA = src/ui/gui/icons/splash.png
+
+src/ui/gui/icons/splash.png: $(top_srcdir)/src/ui/gui/icons/splash-t.png $(top_srcdir)/src/ui/gui/icons/splash-r.png Makefile
+ @case `echo $(VERSION) | $(SED) -e 's/[0-9][0-9]*\.[0-9]*\([0-9]\)\.[0-9][0-9]*/\1/'` in \
+ [13579]) cp $(top_srcdir)/src/ui/gui/icons/splash-t.png $@ ; \
+ ;;\
+ *) cp $(top_srcdir)/src/ui/gui/icons/splash-r.png $@ ; \
+ ;;\
+esac
+
+EXTRA_DIST += $(top_srcdir)/src/ui/gui/artwork/splash.svg
+
+src_ui_gui_psppire_SOURCES += \
+ src/ui/gui/icons/icon-names.c \
+ src/ui/gui/icons/icon-names.h
+
+endif