X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fautomake.mk;h=bfd8326ba36a89525a463a57d322e8a9353b4409;hb=6f763403034b44b809fae1580dda3af0ab24a11b;hp=06410885ac76234b42257d3e409134f5815fddf9;hpb=f2d4cc6e7a4d5948a2c0cf70883347000a79a2b0;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