Re: gnulib-tool.py: Optimize directory creation.

[Bruno Haible]

Hi Collin,

> This patch handles the directory creation upfront instead of checking
> for every single file, as you mentioned earlier [1].

Thanks! This looks good. Applied.

Bruno