> Date: Fri, 19 Jun 2015 14:33:15 +0100 > From: Gavin Smith <gavinsmith0...@gmail.com> > Cc: bug-gnulib@gnu.org, texinfo-de...@gnu.org > > I wonder if you could try compiling again now the file is gone from > the repository.
Did that; it didn't help. I will now look deeper into the problem. I hoped someone of the Gnulib developers will chime in and help, but ...