diff options
Diffstat (limited to 'gnu/usr.bin/texinfo/doc/info.texi')
| -rw-r--r-- | gnu/usr.bin/texinfo/doc/info.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/texinfo/doc/info.texi b/gnu/usr.bin/texinfo/doc/info.texi index 8282ff8cd31..8d188cbed0d 100644 --- a/gnu/usr.bin/texinfo/doc/info.texi +++ b/gnu/usr.bin/texinfo/doc/info.texi @@ -3,7 +3,7 @@ @setfilename info.info @settitle Info 1.0 @comment %**end of header -@comment $Id: info.texi,v 1.1 1997/08/01 22:01:10 kstailey Exp $ +@comment $Id: info.texi,v 1.2 1999/01/11 16:38:02 espie Exp $ @dircategory Texinfo documentation system @direntry |