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

From: Eli Zaretskii <[email-masked]>
Date: Mon, 12 Dec 2011 08:02:01 -0500

> Date: Mon, 12 Dec 2011 12:25:44 +0000
> Cc: [email-masked]
> From: Alan Mackenzie <[email-masked]>
> 
> > 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.