diff options
-rw-r--r-- | hurd/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index d6e71075..80c6b165 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -21,7 +21,7 @@ makemode := misc hdrs = $(wildcard $(srcdir)/*.defs $(srcdir)/*.h) DIST_FILES = subsystems $(notdir $(hdrs)) -INSTHDRS = hurd_types.h ioctl_types.h paths.h shared.h version.h +INSTHDRS = hurd_types.h ioctl_types.h paths.h shared.h version.h \ $(notdir $(wildcard $(srcdir)/*.defs)) include ../Makeconf |