use directly section childs with sectiontoc, set USE_NODES 0 for HTML

[Patrice Dumas]

Hello,

Why is there no sectiontoc for the @top?

Wouldn'it be better to simply output the section toc of the section, and
not the 'current_node' associated section section toc?  For some manuals
it would make a difference and, in my opinion, an incorrect output, for
example when there is a construct like

@node mynode
@section sec1

@section sec2

It also seems to me that FORMAT_MENU set to sectiontoc for HTML would be
more consistent with USE_NODES set to 0.  Otherwise nodes without
section would each be in their files, but not appear on section tocs,
and their subnodes would be completly unreachable.  In that case, 
_default_node_direction() should probably be changed, to give something 
reasonable when there is no node associated with the section.  Actually,
it would probably make more sense to use sections for directions if
USE_NODES is set to 0.

-- 
Pat