On Wed, Feb 13, 2013 at 07:04:29AM +0100, John Darrington wrote: > Funny enough the pre-release 4.13.94 of makeinfo does not complain about > the missing nodes... that is why I overlooked that. > > > Cross posting this then to [email protected] in case it is something they > need to > know about.
Thanks for the report. Indeed, inside @detailmenu unknown nodes weren't checked. This is solved now. -- Pat
