]> 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 22:52:33 +0000 (00:52 +0200)
doc/install.texi

index f06ab17b8313e303947910fe6f1bbb203803b175..896a3e646a7d93a1bd61b1bcb853231e459c8415 100644 (file)
@@ -49,7 +49,7 @@ using developer tools or the network.  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