diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-03-17 22:00:24 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-03-17 22:00:24 +0000 |
| commit | ea53213e0640c0c41a4deac2d58823d5404dcaf4 (patch) | |
| tree | 6fca2d9b8e9ee9a405f3e362c15a9b4de8ea019e /doc/Makefile | |
| parent | ade44ca0c164dbf45ec98e191418365986689678 (diff) | |
1999-03-17 Gordon Matzigkeit <gord@trick.fig.org>
* gpl.texinfo: New file, taken from /gd/gnu/doc/gpl.texi on the
GNU machines.
* Makefile (DIST_FILES): Fix up wildcard so that we don't
accidentally include hurd.info twice.
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 65d2e5ad..dc752905 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 1994, 1998 Free Software Foundation +# Copyright (C) 1994, 1998, 1999 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 @@ -19,7 +19,7 @@ dir := doc makemode := misc DIST_FILES = navigating gpl.texinfo hurd.texi version.texi \ - hurd.info $(wildcard hurd.info*) + hurd.info $(wildcard hurd.info-*) targets = hurd.info DVIPS = dvips |