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