On 2025-09-07 01:10, Bruno Haible wrote:
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.
Good to know, as I use --gnulib-refdir more often.
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?
Sounds good to me. Bob?
[4]https://savannah.gnu.org/maintenance/UsingGit/
