> Date: Fri, 19 Jan 2024 16:30:33 -0700 > From: Karl Berry <[email protected]> > > Hi Gavin, > > The problem as I remember it was that the error messages are awful: > > No argument, but having any message at all is infinitely better than > silence. I urge you to restore them by default, suboptimal as they are. > > It's true that those msgs as such have never made a great deal of sense > to me (including in the old C makeinfo). But they indicate perfectly > well "there is a problem with the sectioning+menus related to node XYZ". > It was not hard to figure it out once I knew that. I had no clue there > was a problem until someone using makeinfo 6.x told me.
I agree. Perhaps by default makeinfo should just display a general warning about "some problem with sectioning vs menus", with a pointer to the offending @menu command, and the warning text should advise to use "-c CHECK_NORMAL_MENU_STRUCTURE=1" to get the details. WDYT?
