diff options
| -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) . |