Rudolf Adamkovič <rudolf@adamkovic.org> writes:

> I found a bug where
>
>     the Top node ignores ALT_NAVIGATION.
>
> This is because the node
>
>     is treated separately in `ox-texinfo.el'.
>
> I will fix the bug it today.

And fixed!  Please see the attached patches.

(I also fixed commit messages, indentation, etc.)

The patches are

    ready for code review

now.

Thank you!

Rudy