diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1998-04-13 19:42:18 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1998-04-13 19:42:18 +0000 |
| commit | c24c6abb004fb827c6a5237efae30b942d142b43 (patch) | |
| tree | 3262d499fb307b9a5e136c36daf63486f93825aa /doc/Makefile | |
| parent | 94208c9d3f46f221d50886a0304dd77f18b9882f (diff) | |
Mon Apr 13 15:40:43 1998 Thomas Bushnell, n/BSG <thomas@gnu.org>
* navigating: New file.
* Makefile (DIST_FILES): Mention `navigating'.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index d92d8de4..0a5c3517 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 1994 Free Software Foundation +# Copyright (C) 1994, 1998 Free Software Foundation # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as @@ -18,6 +18,6 @@ dir := doc makemode := misc -DIST_FILES = hurd.texi +DIST_FILES = hurd.texi navigating include ../Makeconf |