Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67.

[Bruno Haible]

Hi Collin,

> Two simple patches. This just makes it so that the library Makefile
> is output after gnulib-comp.m4.
> ...
> but the removal of the temporary file is done inside of the parent,
> outside of the loop. Therefore only the second temporary file would be
> deleted.

Thanks! Both patches applied.

> The second patch fixes an error that I noticed because of this
> change.

Quibbling about words: When you say "fixes an error", it makes me think
that gnulib-tool.py printed an error message. Which it did not do; it
merely left a file on disk. I'd prefer if you say "fixes a mistake".

In common talk, "I made an error" and "I made a mistake" are synonymous.
But when talking about a program, there's a difference between "an error"
and "a mistake".

The English language is nice here. In French and German, there is only a
single term for both meanings.

Bruno