> 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 ...


Reply via email to