diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-09-08 16:19:20 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-09-08 16:19:20 +0000 |
| commit | e6fd7acf45b92f3e99c3f4e826d116643f5c3fbb (patch) | |
| tree | e5a35813eb0ba4d220209f559ae9f464763df9ca /hurd/Makefile | |
| parent | 0c4e6afe2876a89fda34a9cdeeeadb7bd421eaaa (diff) | |
entered into RCS
Diffstat (limited to 'hurd/Makefile')
| -rw-r--r-- | hurd/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index 7f509859..2bc58947 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -18,7 +18,8 @@ dir := hurd makemode := misc -DIST_FILES = *.defs subsystems +DIST_FILES = *.defs subsystems ioserver.h ports.h pager.h fshelp.h \ + diskfs.h trivfs.h cthreads.h LCLHDRS = hurd_types.h ioctl_types.h paths.h shared.h version.h include ../Makeconf |