Re: Sectional table of contents in HTML output

[Gavin Smith]

On Sun, Nov 03, 2019 at 10:17:05AM +0100, Patrice Dumas wrote:
> I attach an example that generates such a list right after the heading.
> Something that looks strange is that the node names are used in the 
> navigation header, while the sections names are used in the list of 
> subordinate sections/nodes.

I'm trying to work on changing the navigation header, but finding it 
hard to understand the code.  I think I need to make _element_direction 
return the text of the section name rather than the text of the node 
name.  (_element_direction is called from _default_node_direction.)  I 
found there were directions "Up", "Next" and "Prev" corresponding to 
"section_up", "section_next" and "section_prev" in Texinfo::Structuring, 
but these appear to refer to the same elements as "node_up", etc.