diff options
| -rw-r--r-- | man/info.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/info.texi b/man/info.texi index 7180d01ca54..e9896233c29 100644 --- a/man/info.texi +++ b/man/info.texi @@ -6,7 +6,7 @@ @syncodeindex vr cp @syncodeindex ky cp @comment %**end of header -@comment $Id: info.texi,v 1.18 2002/01/23 00:00:23 rms Exp $ +@comment $Id: info.texi,v 1.19 2002/03/16 19:32:15 eliz Exp $ @dircategory Texinfo documentation system @direntry @@ -17,7 +17,7 @@ This file describes how to use Info, the on-line, menu-driven GNU documentation system. -Copyright (C) 1989, 92, 96, 97, 98, 99, 2000, 2001 +Copyright (C) 1989, 92, 96, 97, 98, 99, 2000, 2001, 2002 Free Software Foundation, Inc. |