# HG changeset patch
# User Karl Berry <karl@gnu.org>
# Date 1059935392 0
# Node ID 50e328ac7fb7a9839cd12e1e453ac23646922bbc
# Parent  e5fc8fcf3bb52a9a8086b69fc5fd89a7622fa9a4
add @contents.

diff -r e5fc8fcf3bb5 -r 50e328ac7fb7 man/info.texi
--- 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