diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-08-23 13:26:25 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-08-23 13:26:25 +0000 |
| commit | d1cbf40d6ca2599922592915838e395e02e8d51d (patch) | |
| tree | af0cb7fb93370593f3f84bf9dbb99d862488fd3a /console/Makefile | |
| parent | 057b2a310582ea16dc147e948fc42bb61dc53b0d (diff) | |
2002-08-23 Marcus Brinkmann <marcus@gnu.org>
* Makefile (DIST_FILES): New variable.
* hurd.ti: New file describing the terminal capabilities of the
Hurd console server.
Diffstat (limited to 'console/Makefile')
| -rw-r--r-- | console/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/console/Makefile b/console/Makefile index a7d47b85..0ad406e7 100644 --- a/console/Makefile +++ b/console/Makefile @@ -25,6 +25,7 @@ target = console SRCS = console.c display.c input.c LCLHDRS = display.h input.h priv.h mutations.h +DIST_FILES = hurd.ti MIGSTUBS = notifyServer.o tioctlServer.o fs_notifyUser.o |