Hi Patrice,
then they can set CHECK_NORMAL_MENU_STRUCTURE on
explicitely.
It's easy to say that, but it creates an incompatibility for the 99.99%
case. I can't set it for makeinfo 7.x without giving people using 6.x
(which is most everyone, downstream) a useless warning. Nor can I omit
On Sat, Jan 20, 2024 at 07:06:44PM +, Gavin Smith wrote:
> On Sat, Jan 20, 2024 at 06:45:06PM +0100, Patrice Dumas wrote:
> > > That reply pertained to the case of a missing menu entry. Your case
> > > is the opposite: a superfluous menu entry.
> >
> > To me, the manual with an entry leading
