[forged] Re: from 0ef88e2d9 make generates error

[Jeremie Juste]

Hello,

False alert. I missed texinfo on my system. Many thanks Ihor,
for the lead.

Best regards
Jeremie