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