Hey! <[EMAIL PROTECTED]> writes:
> ---- "Ludovic Courtès" <[EMAIL PROTECTED]> wrote: >> With "git-clone git://git.sv.gnu.org/gnulib.git". `gnulib-tool' is a >> script that will install the right Gnulib modules into your Guile >> directory. > > This should probably be added to HACKING. You mean, that `gnulib-tool' is part of Gnulib, and that Gnulib is a GNU library? ;-) (Just kidding, but yeah, could be added.) Ludo'.
