> Date: Wed, 17 Jan 2024 14:55:33 -0700 > From: Karl Berry <[email protected]> > > 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:
I believe this is an intentional feature in recent Texinfo versions. To get the warnings back, you need to run makeinfo with the command-line option "-c CHECK_NORMAL_MENU_STRUCTURE=1".
