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
