diff options
| author | Karl Berry | 2003-08-03 18:29:52 +0000 |
|---|---|---|
| committer | Karl Berry | 2003-08-03 18:29:52 +0000 |
| commit | 0270117bebf3984641c8144c77764e1f28208cd6 (patch) | |
| tree | c7de703b3cbbdbbf375bb1c8e29984d88ac6afbc | |
| parent | 3ad1e74880ffde846c5049fe70cd0241bc11b2c7 (diff) | |
| download | emacs-0270117bebf3984641c8144c77764e1f28208cd6.tar.gz emacs-0270117bebf3984641c8144c77764e1f28208cd6.zip | |
add @contents.
| -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 f5b064f3a43..26f23ac7264 100644 --- a/man/info.texi +++ b/man/info.texi | |||
| @@ -6,7 +6,7 @@ | |||
| 6 | @syncodeindex vr cp | 6 | @syncodeindex vr cp |
| 7 | @syncodeindex ky cp | 7 | @syncodeindex ky cp |
| 8 | @comment %**end of header | 8 | @comment %**end of header |
| 9 | @comment $Id: info.texi,v 1.6 2003/07/08 12:17:59 karl Exp $ | 9 | @comment $Id: info.texi,v 1.33 2003/07/16 22:17:40 karl Exp $ |
| 10 | 10 | ||
| 11 | @copying | 11 | @copying |
| 12 | This file describes how to use Info, the on-line, menu-driven GNU | 12 | 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. | |||
| 50 | @insertcopying | 50 | @insertcopying |
| 51 | @end titlepage | 51 | @end titlepage |
| 52 | 52 | ||
| 53 | @contents | ||
| 54 | |||
| 53 | @ifnottex | 55 | @ifnottex |
| 54 | @node Top | 56 | @node Top |
| 55 | @top Info: An Introduction | 57 | @top Info: An Introduction |