Hello, Should there be warnings for nodes that are only in @detailmenu and not in @menu? (currently texi2html warns while makeinfo doesn't). The problem with @detailmenu is that it should almost always be wrong with regard to Up node relationship, that's why it is not really considered as @menu in texi2html.
Opinions? -- Pat
