Re: [bug-gnulib] [patch] typo in gnulib-tool

[Bruno Haible]

Charles Wilson wrote:
> The variable name is $makefile_name, the command-line option is 
> --makefile-name

Thanks, applied.

Bruno