Subject: Re: bug#14230: [Patch] guile-1.8, Fix texinfo files for makeinfo-5
From: [email-masked] (Ludovic Courtès)
To: Cyprien Nicolas <[email-masked]>
Cc: [email-masked]
Date: Fri, 31 May 2013 00:03:12 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello!

Cyprien Nicolas <[email-masked]> skribis:

> At Gentoo, we start shipping makeinfo-5, which makes the guile-1.8.8
> build fail. I wrote a patch that fixes the errors and warnings.
>
> It does not break texinfo files for texinfo-4.13.

Thanks, applied as 0832660 in branch_release-1-8 (for posterity, as it’s
unclear whether/when there’ll be another 1.8 release.)

Ludo’.