diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-08-08 19:50:16 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-08-08 19:50:16 +0000 |
| commit | a0a3f33b7b472ad37b66a826c967a96f19f17bcc (patch) | |
| tree | b0c8441e613902fc42cffceafb6aa489b07976c0 | |
| parent | 61319488e33897b198837d7cea1be7333efc9eb6 (diff) | |
entered into RCS
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 86427a81..d92d8de4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,5 +16,8 @@ # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. dir := doc +makemode := misc + +DIST_FILES = hurd.texi + include ../Makeconf -DIST_FILES = hurd.texi Makefile ChangeLog |