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