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
