From eb99cedbb19533357806b68033761b7f3aff625b Mon Sep 17 00:00:00 2001
From: Thomas Bushnell <thomas@gnu.org>
Date: Tue, 13 Aug 1996 18:10:31 +0000
Subject: *** empty log message ***

---
 Makeconf | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

(limited to 'Makeconf')

diff --git a/Makeconf b/Makeconf
index d026464b..fcd60708 100644
--- a/Makeconf
+++ b/Makeconf
@@ -330,9 +330,23 @@ vpath libutil.% $(libdir)/
 	| $(MIGCOM) $(MIGCOMUFLAGS) $($*-MIGCOMUFLAGS) \
 		    -user $*User.c -server /dev/null -header $*_U.h
 
-
 # Where to find .defs files.
-vpath %.defs $(top_srcdir)/hurd $(install_includedir)/mach $(install_includedir)/device
+vpath %.defs $(top_srcdir)/hurd
+
+# These we want to find in the libc include directory...
+mach_defs_names = bootstrap default_pager default_pager_helper exc mach mach4 \
+	mach_host mach_norma mach_port mach_timer_reply memory_object \
+	memory_object_default norma_task notify
+device_defs_names = dev_forward device device_reply device_request
+
+mach_defs = $(addsuffix .defs,$(mach_defs_names))
+device_defs = $(addsuffix .defs,$(device_defs_names))
+
+$(mach_defs): %.defs:
+	echo '#include <mach/$@>' > $@
+$(device_defs): %.defs:
+	echo '#include <device/$@>' > $@
+
 
 FORCE:
 
-- 
cgit v1.2.3