X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=057b3bc9911911762af2f83c9633c2e09bacc455;hb=1dc8717737084b93af2cd212e84edbd2cce1046c;hp=d637e9032d19546aa491f586680ddc1b41b47fd4;hpb=142f1d36404ec08faa5156b8607548692f7ba4d0;p=pspp

diff --git a/Makefile.am b/Makefile.am
index d637e9032d..057b3bc991 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -22,7 +22,7 @@ private-install:
 private-uninstall:
 	$(MAKE) private-uninstall -C config
 
-EXTRA_DIST = config.rpath  NEWS ONEWS TODO pref.h.orig reconfigure configure
+EXTRA_DIST = mkinstalldirs  config.rpath  NEWS ONEWS TODO pref.h.orig configure
 
 MAINTAINERCLEANFILES = Makefile.in aclocal.m4