bug#2975: `texinfo-master-menu' doesn't work.

[Eli Zaretskii]

> Date: Mon, 12 Dec 2011 12:25:44 +0000
> Cc: 2975@debbugs.gnu.org
> From: Alan Mackenzie <acm@muc.de>
> 
> > It sounds like your notion of "master menu" is different from what the
> > command means, see above.
> 
> THAT is the thing that's caused this discussion.  I have conceptualised
> "master menu" as the entire hierarchical thing starting at Top.  You have
> seen a separate menu in each node (including Top) and then @detailedmenu
> as a summary, a distinct entity.  Now everything is clear.

Does the new doc string make this clear, or do you still see place for
improvement?

Thanks.