X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=057b3bc9911911762af2f83c9633c2e09bacc455;hb=c9b1c72477efa03e0a90f8afd9dafebc8f4b04ef;hp=0febcdbba65b5d413e9c35e357459cc0b8efbd78;hpb=cea0dd1e1329fe0fd3ddf290dfdb5b6668999809;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 0febcdbba6..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 configure
+EXTRA_DIST = mkinstalldirs  config.rpath  NEWS ONEWS TODO pref.h.orig configure
 
 MAINTAINERCLEANFILES = Makefile.in aclocal.m4