PS: I wrote: > If you have a checkout of Gnulib already on your disk, use of > ./bootstrap --no-git --gnulib-srcdir=$GNULIB_SRCDIR > completely removes the need to fetch gnulib over the network,
There is also GNULIB_REFDIR, which does a different thing than GNULIB_SRCDIR but also causes no network traffic to happen. > Where should these things be documented? I don't think the Gnulib manual > is the appropriate place for it. Rather [4] sounds like the better place. Thinking more about it: maybe a main part in [4], with pointers to the Gnulib manual for those parts that are specific to Gnulib? Bruno [4] https://savannah.gnu.org/maintenance/UsingGit/
