Re: gnulib-tool.py: follow gnulib-tool changes

[Bruno Haible]

Hello Tim,

> So if you remove it from bootstrap, I'll update bootstrap in our project main 
> dir and that's it.

No, we don't remove it from 'bootstrap'. This piece of backward-compatibility
code is not expensive to keep.

> @Bruno Maybe it would be wise to just have a symlink to gnulib/build-aux/
> bootstrap ?

I don't understand what you mean. Symlinks inside git repositories are a
problem for those people who perform a checkout on Windows.

Bruno