diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-07-21 19:44:25 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-07-21 19:44:25 +0000 |
commit | 5b9ba18174eb10025abc507594f915323437c39d (patch) | |
tree | b072b6dda75328e89344e4ceb44c8127912a0a1c /hurd | |
parent | ceb76ea79b7e25b5d108029e25b8165224d55e1b (diff) |
Formerly Makefile.~11~
Diffstat (limited to 'hurd')
-rw-r--r-- | hurd/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index 6fd9122b..e4fd5861 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -17,5 +17,7 @@ dir := hurd include ../Makeconf -DIST_FILES = ChangeLog Makefile *.defs *.h subsystems +DIST_FILES = ChangeLog Makefile *.defs subsystems $(HDRS) + +HDRS = hurd_types.h ioctl_types.h paths.h shared.h version.h |