Re: footer navigation headers

[Patrice Dumas]

On Fri, Feb 19, 2021 at 05:40:45PM -0800, Per Bothner wrote:
> 
> I'm inclined to agree.
> 
> The main point of my message was primarily to suggest a goal for the resulting
> output, assuming a default configuration.

I did it with a new direction set in Texinfo::Structuring.

> Secondarily, that it might make sense to split parts of
> 'format_element_header' (called at end of each node/section)
> into a new separate 'format_page_footer' (called at end of page).

I agree, it would make sense.  But it is not so easy to implement as
right now rules formatting is linked with footer formatting and some
common things may happen when not split and transitioning from top or to
special elements.  The corresponding code has a lot of conditions,
changing it may break some customizations, in particular for the
texi2html style.

If you feel like to implement that separation, do not hesitate!

-- 
Pat