@contents and HTML

[Akim Demaille]

Hi People,

@contents is not supposed to be assisted by a @node or @unnumbered
etc., and indeed it behaves properly alone in TeX and info.
Unfortunately in HTML the content is left in the section right before
it.  I know it is weird to use a table of content in HTML (but its
layout is sometimes better looking that the detailed menu), but since
anyway it seems to be supported, I think it should bring in its own
node.

Akim