diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2024-04-30 09:06:03 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2024-04-30 10:33:37 -0700 |
| commit | 75fe83f9d68a79b868802651ee092d8cd13389bc (patch) | |
| tree | 55dd9ff6250a9e00753473618ae0a40ef8488d38 | |
| parent | a6a47a2ff743bedb5209132ad89f32aa4143efd1 (diff) | |
| download | autoconf-75fe83f9d68a79b868802651ee092d8cd13389bc.tar.gz | |
Fix doc typo with " {"
Problem reported by Brad Smith
<https://savannah.gnu.org/support/?111054>.
| -rw-r--r-- | doc/install.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/install.texi b/doc/install.texi index 254522bd..e8aa67d7 100644 --- a/doc/install.texi +++ b/doc/install.texi @@ -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 |