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

[Bruno Haible]

Hi Dmitry,

Thanks for the reviews.

> Because right now it is a no-op, but parser still doesn't bark when it
> founds it.
> The current behavior of gnulib-tool.py matches the same of gnulib-tool.
> Once you will apply the change, parser shall complain on unknown
> --no-changelog,

Good point. I missed this.

Pushed with this parser change withdrawn,

> As for the rest, feel free to push the changes.
> I'll do the same in the "python" branch.

Yes, presumably you will have do adapt these changes from the 'master' to
the 'python' branch. I'm only doing the translation from past gnulib-tool
history to gnulib-tool.py in 'master'.

Bruno