diff options
Diffstat (limited to 'man/info.texi')
-rw-r--r-- | man/info.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/info.texi b/man/info.texi index f5b064f3a4..26f23ac726 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.6 2003/07/08 12:17:59 karl Exp $ +@comment $Id: info.texi,v 1.33 2003/07/16 22:17:40 karl Exp $ @copying This file describes how to use Info, the on-line, menu-driven GNU @@ -50,6 +50,8 @@ license to the document, as described in section 6 of the license. @insertcopying @end titlepage +@contents + @ifnottex @node Top @top Info: An Introduction |