Re: license texinfo patches installed

[Karl Berry]

    I think --local-dir together with a context diff is a better solution

I added a couple sentences about this to gnulib.texi.  Thanks.

Bruno, or anyone, could you write a few words about --local-dir in
gnulib-tool.texi?

Thanks,
k