[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#2975: `texinfo-master-menu' doesn't work.
From: |
Eli Zaretskii |
Subject: |
bug#2975: `texinfo-master-menu' doesn't work. |
Date: |
Mon, 12 Dec 2011 08:02:01 -0500 |
> 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.