Re: Manual fails to build with development version of texinfo (4.13.90)

[James Youngman]

Thanks for pointing these out.  There are real errors being identified
here, mainly in terms of incorrect section nesting.  There are also
some pretty benign inconsistencies of menu item ordering.

All fixed by the attached patch, which I have pushed.

James.

0001-Make-the-manual-section-ordering-and-menu-item-order.patch
Description: Binary data