Re: init.sh: add option to preserve temporary files

[Bruno Haible]

Paul Eggert wrote:
> Looks good to me.

OK, pushed.

> Ordinarily I would just install innocuous changes like that...

Well, I learned to believe in code review. And especially when I feel too
self-confident, I make the biggest blunders.

Bruno