Re: gnulib-tool: new option --makefile-name

[Paul Eggert]

Eric Blake <address@hidden> writes:

> I was interested in trying out the new config-h module.  But it only
> works when using gnulib-tool --import/--update; the sed expression
> is not applied for files copied manually using --extract*
> information.

That sounds like a bug, both for the gettext-h reason and for the
GPL/LGPL reason.  I'd be inclined to fix it unless there's some good
reason for the current behavior.

Your other points make sense too (though I'm not an expert in
gnulib-tool internals :-).