X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=057b3bc9911911762af2f83c9633c2e09bacc455;hb=7064b66998d64ba14a4ac0e6e71a284832cf7098;hp=39975a518d4a3f76d456468639b5b51e2e8eb545;hpb=2e0595dd8e344dbdcab740d7d2a3b67d153d6b39;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 39975a518d..057b3bc991 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -22,9 +22,9 @@ 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 configure aclocal.m4 config.h.in
+MAINTAINERCLEANFILES = Makefile.in aclocal.m4 
 
 
 ACLOCAL_AMFLAGS = -I m4