Re: "make distcheck" failure

[Bruno Haible via Bug reports for the GNU Texinfo documentation system]

Gavin Smith wrote:
> Thanks for the report and apologies for the inconvenience.  I have fixed
> in commit 9ce27563568c (today's date).

OK, I'm starting a new CI run (because you certainly want to know if there
happen to be other regressions).

Bruno