Re: footer navigation headers

[Gavin Smith]

On Sun, Feb 14, 2021 at 12:32:58PM -0800, Per Bothner wrote:
> A related problem is that the end-of-page header is relative to the
> final @subsection (and duplicates that internal header at the start
> of the @subsection).  In my opinion, the header should point to
> the next/previous/up of the @section (or @chapter for a chapter
> without sections).  This is more logical, I think, whether or not
> the @subsecton navigation headers are displayed.

Yes, I think this makes sense for --split=section.  Where there is more
than one node per output file it makes no sense to have a navigation
bar at the very end of the file that is relative to the last node only.
I think there are two sensible possibilities:  A navigation bar at
the top and possibly the bottom of the page relative to the @section,
or a navigation bar at the beginning of each node in the page.

I'll look at your patch, and we'll have to think about how to
accommodate this within the user configuration.

(I am not very familiar with the various splitting options, having
only ever tested with completely split and completely non-split.)