Re: [bug-gnulib] quieter gnulib-tool?

[Karl Berry]

    I'd say it's so desirable that it should be the default behavior.

I stopped short of suggesting that because I think the verbose output is
actually very useful when people are first starting to use gnulib.  At
least, I found it very useful :).

However, I won't stand in the way if others feel the same.  We can just
document to use --verbose for "educational" output.

Thanks,
karl