Re: Fix an error during "./configure; make dist"

[Bruno Haible]

Patrice Dumas wrote:
> I think
> that we sould make sure that there are no differences at all between in
> source and out of source distributions.  This should not be difficult
> for some file we generate, but there are also some gperf generated files
> in gnulib that have some srcdir prepended, which may be more challenging
> to get right.

For the gnulib part, this is now fixed. Thanks for the report.

Bruno