Re: makeinfo 7.1 misses menu errors

[Karl Berry]

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.

    This said, I have not studied in detail how to restructure the code
    to improve the warnings.

Not critical, it seems to me. The critical thing, IMHO, is to give us
back the warnings as they stand by default, so bad manuals don't get
unwittingly distributed. Which is what is surely happening and will
continue to happen.  --thanks, karl.