diff man/info.texi @ 52122:50e328ac7fb7

add @contents.
author Karl Berry <karl@gnu.org>
date Sun, 03 Aug 2003 18:29:52 +0000
parents b011595889f7
children 695cf19ef79e
line wrap: on
line diff
--- a/man/info.texi	Sun Aug 03 14:13:44 2003 +0000
+++ b/man/info.texi	Sun Aug 03 18:29:52 2003 +0000
@@ -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 @@
 @insertcopying
 @end titlepage
 
+@contents
+
 @ifnottex
 @node Top
 @top Info: An Introduction