[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#39974: Guile fails to build without makeinfo
|
From: |
Ludovic Courtès |
|
Subject: |
bug#39974: Guile fails to build without makeinfo |
|
Date: |
Sun, 08 Mar 2020 12:09:59 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello,
Fabrice Fontaine <address@hidden> skribis:
> Le sam. 7 mars 2020 à 21:40, Ludovic Courtès <address@hidden> a écrit :
[...]
>> > Yes, this build failure is raised by one of our buidlroot autobuilders.
>> > We're running autoreconf as we have a patch that updates configure.ac:
>>
>> OK. From Guile’s perspective, it’s not a bug that ‘makeinfo’ is needed
>> in this case.
> OK, then instead of this patch, do you think that adding a
> --disable-doc option could be acceptable?
No because again, when building from a tarball, ‘makeinfo’ is not needed
(the Info files are included in the tarball). I hope that makes sense!
Thanks,
Ludo’.