From: Karl Berry Date: Wed, 1 May 2024 15:12:11 +0000 (-0700) Subject: autoupdate X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=e556a7e8a4a247cf5e953b5ef16085410c8d4387;p=gnulib.git autoupdate --- diff --git a/doc/install.texi b/doc/install.texi index 6c3a9c21c7..931c1b7c69 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -47,7 +47,7 @@ developer tools that are less commonly installed. Because the output of package developer so that its output can be put into the distribution tarball and ordinary builders and users need not run @command{bootstrap}. Some packages have commands like @command{./autopull.sh} and -@command {./autogen.sh} that you can run instead of @command{./bootstrap}, +@command{./autogen.sh} that you can run instead of @command{./bootstrap}, for more fine-grained control over bootstrapping. The @command{configure} shell script attempts to guess correct values