diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2013-05-04 17:19:56 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2013-05-04 17:19:56 +0300 |
| commit | 8c00e5a53566df5869527c11c66b327219aed5c3 (patch) | |
| tree | 45d465ddf4f7299963b3fa500b47257f1822b106 /doc | |
| parent | d5f580e0ad639ec6d14ee6c8362adbedb38a7b27 (diff) | |
| download | make-8c00e5a53566df5869527c11c66b327219aed5c3.tar.gz | |
Fix a typo in the manual.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/make.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.texi b/doc/make.texi index 64be3b33..3a11ffd4 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -4135,7 +4135,7 @@ specified by giving an argument to the option (e.g., @samp{-Ojob} or @table @code @item none -The is the default: all output is sent directly as it is generated and +This is the default: all output is sent directly as it is generated and no synchronization is performed. @item job |