In producing an Info file, text in a `menu' environment is copied verbatim to create an Info menu. You must provide something that Texinfo can grok. This whole mess might be used in conjunction with `\suppressmenu' [if `\suppressmenu' were implemented yet].

APRIL91: this should probably be nuked if the rawtexinfo environment comes online.