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
