[debbugs-tracker] bug#14230: closed ([Patch] guile-1.8, Fix texinfo files for makeinfo-5)

[GNU bug Tracking System]

Your message dated Fri, 31 May 2013 00:03:12 +0200
with message-id <address@hidden>
and subject line Re: bug#14230: [Patch] guile-1.8, Fix texinfo files for 
makeinfo-5
has caused the debbugs.gnu.org bug report #14230,
regarding [Patch] guile-1.8, Fix texinfo files for makeinfo-5
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
14230: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14230
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [Patch] guile-1.8, Fix texinfo files for makeinfo-5 Date: Thu, 18 Apr 2013 23:59:51 +0200 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:20.0) Gecko/20100101 Firefox/20.0 SeaMonkey/2.17

Hi here,

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.

Cheers
--
Cyprien/Fulax

0001-Fix-texinfo-files-for-makeinfo-5.1.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#14230: [Patch] guile-1.8, Fix texinfo files for makeinfo-5
>
>
>
>
> Date: 
>
> Fri, 31 May 2013 00:03:12 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux)
>
>
>
>
> Hello!
>
> Cyprien Nicolas <address@hidden> 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’.
>
>
> --- End Message ---