Re: Infofile Menu: names

[Karl Berry]

    * (foo)bar::  

    ..or would it always be:

    * boo:(foo)bar. 

What?

In a menu I haven't seen either of those forms.

I think the texinfo manual gives a pretty exhaustive listing of the
various forms of menu items and cross-references.