makeinfo 4.12 doesn't like this:
../../gcc/doc//ux.texi:32: Node `Guidelines for Diagnostics' requires a
sectioning command (e.g., @unnumberedsec).
../../gcc/doc//ux.texi:593: Node `Guidelines for Options' requires a sectioning
command (e.g., @unnumberedsec).
../../gcc/doc//ux.texi:593: `Guidel
On Thu, 2018-10-18 at 22:25 -0600, Sandra Loosemore wrote:
> On 10/18/2018 03:12 PM, David Malcolm wrote:
>
> > Here's an updated version of the patch, addressing your above
> > comments,
> > and those from Martin and Richard (I hope).
>
> Thanks, this one looks more readable. Some more specific
