--- a/man/texinfo.texi	Mon Aug 13 10:49:52 2007 +0200
+++ b/man/texinfo.texi	Mon Aug 13 10:50:39 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.9 1999/03/04 15:44:45 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