warning for nodes in @detailmenu but not in @menu?

[Patrice Dumas]

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

[Karl Berry]

    Should there be warnings for nodes that are only in @detailmenu and not in
    @menu?

Sure, why not?

    @detailmenu is that it should almost always be wrong with regard to
    Up node relationship,
   
Oh?  Maybe I just haven't noticed.
   
    that's why it is not really considered as @menu in texi2html.

True enough that @detailmenu is rather different from @menu.

If texi2html correctly deduces the node pointers without @detailmenu at
all, that would be a nice improvement.  @detailmenu has been rather a
painful kludge.

Thanks,
Karl