diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-16 15:37:26 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-16 15:37:26 +0000 |
| commit | 757ca25b1cb9442e27def9a50c6270e233d154d4 (patch) | |
| tree | f0b06d3221900ce195afe2b47d65400fa459da2b | |
| parent | a9ce7af50e34fda149d3e33aaf4138a8b4016fab (diff) | |
(INSTHDRS): Repair syntax.
| -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 |