summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1995-09-16 18:19:11 +0000
committerRoland McGrath <roland@gnu.org>1995-09-16 18:19:11 +0000
commit144cbaa73df79e02dcc933c9bc49249fc56fb568 (patch)
tree8b1322fb7e26a5d8a7f161af04b84027ed55348e
parent9441b3bc81f650705ffa5f1b8000338d836f4c58 (diff)
(DIST_FILES): Remove Maketools.
Add config.make.in, configure.in, configure.
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 551a7209..7f9d936d 100644
--- a/Makefile
+++ b/Makefile
@@ -33,8 +33,8 @@ working-prog-subdirs := $(filter-out \
$(patsubst %/,%,\
$(dir $(wildcard $(prog-subdirs:=/BROKEN)))),\
$(prog-subdirs))
-DIST_FILES = COPYING Makeconf Maketools README NEWS tasks INSTALL \
- README-binary hurd.boot
+DIST_FILES = COPYING Makeconf config.make.in configure.in configure \
+ README NEWS tasks INSTALL README-binary hurd.boot
all: $(addsuffix -all,$(lib-subdirs) $(working-prog-subdirs))