Hello, Fabrice Fontaine <fontaine.fabr...@gmail.com> skribis:
> Le sam. 7 mars 2020 à 21:40, Ludovic Courtès <l...@gnu.org> 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’.
