Re: gnulib-tool.py: Follow gnulib-tool changes, part 31

[Bruno Haible]

Collin Funk wrote:
> And another patch to stop gnulib-tool.py from messing with copyright
> headers. This patch is just doing the same as this commit did for
> gnulib-tool:
> 
> https://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=f3553bdefc9202e81996c73686e3ca53cd827417

Thanks! The gnu_make tweak is unrelated; so, I put it in a separate commit
(and moved it a bit: in GLConfig, the 'gnu_make' property is typically
handled between 'lgpl' and 'makefile_name').

> I assume that this commit somehow escaped being added to
> gnulibtool.py.TODO so I've made a reference to it anyways.

Yes. Somehow my original commit included only part of the needed
pygnulib/* modifications; I missed to add it to the TODO file.

Bruno