Re: footer navigation headers

[Patrice Dumas]

On Sun, Feb 21, 2021 at 10:23:03AM +0000, Gavin Smith wrote:
> 
> I wonder if nodes_tree can be only called from texi2any.pl if menus
> are relevant to the structure.  There could be another function
> that does what nodes_tree does but does not deal with menus at all.

This should be implemented now.

The spurious warning when generating Info is still there, though.

-- 
Pat