diff options
author | Karl Berry <[email protected]> | 2003-08-03 18:29:52 +0000 |
---|---|---|
committer | Karl Berry <[email protected]> | 2003-08-03 18:29:52 +0000 |
commit | 0270117bebf3984641c8144c77764e1f28208cd6 (patch) | |
tree | c7de703b3cbbdbbf375bb1c8e29984d88ac6afbc /man/info.texi | |
parent | 3ad1e74880ffde846c5049fe70cd0241bc11b2c7 (diff) |
add @contents.
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 |