From fb8971d5fe4a8b823628303f32de7d5986766949 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Fri, 22 Jul 1994 15:49:05 +0000
Subject: Formerly Makefile.~12~

---
 hurd/Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'hurd')

diff --git a/hurd/Makefile b/hurd/Makefile
index e4fd5861..5d2e2a42 100644
--- a/hurd/Makefile
+++ b/hurd/Makefile
@@ -21,3 +21,14 @@ DIST_FILES = ChangeLog Makefile *.defs subsystems $(HDRS)
 
 HDRS = hurd_types.h ioctl_types.h paths.h shared.h version.h
 
+# XXX This should be done by the individual libraries' install targets XXX
+REMHDRS = ../libioserver/ioserver.h \
+	../libports/ports.h \
+	../libpager/pager.h \
+	../libfshelp/fshelp.h \
+	../libdiskfs/diskfs.h \
+	../libtrivfs/trivfs.h \
+	../libthreads/cthreads.h
+
+dohdrs:
+	ln -s $(REMHDRS) .
-- 
cgit v1.2.3