Re: an introduction to gnulib

[Karl Berry]

    I hope this fulfills the need of an introduction to gnulib.

This is great.  Thanks Bruno.  I fixed a few Texinfo niglets.

Best,
Karl