X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ficons%2Fautomake.mk;h=ea444208a813e820473691eac77231ee96b2ea45;hb=1b5c2d8fe129a5f8db76c42250a9c199deccb773;hp=eebaffea5f7516f290df3ce7495862aab32d9b29;hpb=b5f23499ac67aa4988617c5fb89397d4f81bea50;p=pspp

diff --git a/src/ui/gui/icons/automake.mk b/src/ui/gui/icons/automake.mk
index eebaffea5f..ea444208a8 100644
--- a/src/ui/gui/icons/automake.mk
+++ b/src/ui/gui/icons/automake.mk
@@ -1,6 +1,6 @@
 include $(top_srcdir)/src/ui/gui/icons/manifest
 
-EXTRA_DIST += $(icons) $(icon_srcs)
+EXTRA_DIST += $(icons) $(icon_srcs) src/ui/gui/icons/COPYING_CCBYSA3
 
 themedir = $(DESTDIR)$(datadir)/icons/hicolor
 
@@ -60,8 +60,7 @@ UNINSTALL_DATA_HOOKS += uninstall-icons uninstall-ext-icons
 
 if HAVE_GUI
 dist_src_ui_gui_psppire_DATA += \
-	$(top_srcdir)/src/ui/gui/icons/splash.png \
-	$(top_srcdir)/src/ui/gui/icons/about-logo.png
+	$(top_srcdir)/src/ui/gui/icons/splash.png
 
 src_ui_gui_psppire_SOURCES += \
 	src/ui/gui/icons/icon-names.c \