diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 15:49:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-22 15:49:05 +0000 |
| commit | fb8971d5fe4a8b823628303f32de7d5986766949 (patch) | |
| tree | 4b57cf93214d6546c2c218d8928c9a175f1b7e66 | |
| parent | a5262c0afdf44c7524d67858ead70b6fcdd4f58e (diff) | |
Formerly Makefile.~12~
| -rw-r--r-- | hurd/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
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) . |