X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fautomake.mk;fp=build-aux%2Fautomake.mk;h=bfd8326ba36a89525a463a57d322e8a9353b4409;hb=41a708b3aaf8e38cbf3bc38b1056c289c80b989f;hp=06410885ac76234b42257d3e409134f5815fddf9;hpb=3a8f3341eb7a7f2a580ce7120bb96973df0b9f67;p=pspp

diff --git a/build-aux/automake.mk b/build-aux/automake.mk
index 06410885ac..bfd8326ba3 100644
--- a/build-aux/automake.mk
+++ b/build-aux/automake.mk
@@ -1,3 +1,3 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
-EXTRA_DIST += build-aux/svg2png
+EXTRA_DIST += build-aux/svg2png build-aux/icon-list