Re: makeinfo 7.1 misses menu errors

[Karl Berry]

    This goes against the practice of the vast majority of existing Texinfo
    manuals, so this existing practice should be well supported.

Indeed. That is the crucial point. Those warnings are needed in well
over 99% of existing manuals, as far as I've seen :).

    I think that it could be possible to change the error location to be the

To my mind, the precise message is not critical. The existing messages
work well enough to let the manual author find what needs to be
fixed. Sure, they could be improved, but let's not have "perfect" be the
enemy of "good enough". --thanks, karl.