]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Wed, 1 May 2024 15:12:11 +0000 (08:12 -0700)
committerBruno Haible <bruno@clisp.org>
Fri, 17 May 2024 23:21:27 +0000 (01:21 +0200)
doc/install.texi

index 6c3a9c21c74d07093b01145f91033c83fbd1b251..931c1b7c693b803c3365a6589bf6a9a36dc71a52 100644 (file)
@@ -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