--- a/man/texinfo.texi	Mon Aug 13 11:10:52 2007 +0200
+++ b/man/texinfo.texi	Mon Aug 13 11:11:37 2007 +0200
@@ -1,5 +1,5 @@
 \input texinfo.tex    @c -*-texinfo-*-
-@c $Id: texinfo.texi,v 1.8 1998/06/30 06:35:31 steve Exp $
+@c $Id: texinfo.texi,v 1.8.2.1 1999/03/04 15:48:24 steveb Exp $
 @c %**start of header
 
 @c All text is ignored before the setfilename.
@@ -648,8 +648,8 @@
 
 How to Obtain @TeX{}
 
-* New Texinfo Mode Commands::   The updating commands are especially useful.
-* New Commands::                Many newly described @@-commands.
+@c * New Texinfo Mode Commands::   The updating commands are especially useful.
+@c * New Commands::                Many newly described @@-commands.
 @end detailmenu
 @end menu