makeinfo 7.1 misses menu errors

[Karl Berry]

I recently learned that some @menu vs. sectioning discrepancies in the
automake manual were found with makeinfo 6.7, but not 7.1. 

In essence, I moved a subsection (Errors with distclean) from one
section to another, but forgot to remove the menu entry from the old one.
(Surely not an uncommon error.)

Running the attached on 7.1, there are no errors or warnings.
6.7 correctly reports various problems resulting from this:

amdisorder.texi:9072: warning: node `Flag Variables Ordering' is next for 
`Errors with distclean' in menu but not in sectioning
amdisorder.texi:9072: warning: node prev `Errors with distclean' in menu 
`Limitations on File Names' and in sectioning `distuninstallcheck' differ
amdisorder.texi:9072: warning: node up `Errors with distclean' in menu `FAQ' 
and in sectioning `Checking the Distribution' differ
amdisorder.texi:12716: warning: node next `Limitations on File Names' in menu 
`Errors with distclean' and in sectioning `Flag Variables Ordering' differ
amdisorder.texi:12779: warning: node prev `Flag Variables Ordering' in menu 
`Errors with distclean' and in sectioning `Limitations on File Names' differ

I'm sorry, I didn't cut down the input significantly. -k

amdisorder.texi
Description: Binary data