diff options
-rw-r--r-- | doc/ChangeLog | 8 | ||||
-rw-r--r-- | doc/Makefile | 4 |
2 files changed, 10 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index f1ab8832..dbefdaef 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,11 @@ +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. + 1998-06-02 Gordon Matzigkeit <gord@profitpress.com> * Makefile: Add rules for building info, dvi and ps files. 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 |