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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | doc/ChangeLog | 8 |
1 files changed, 8 insertions, 0 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. |