diff options
author | Paul Smith <psmith@gnu.org> | 2013-05-04 13:14:39 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-05-04 13:14:39 -0400 |
commit | 75336026ae42f75c1d47310b7aff056bb7d843ea (patch) | |
tree | e31e75e7961a55545c8f4734c708b4c9c7a69b7e | |
parent | b8467292c9be14b31c028d472107946770ed977e (diff) | |
parent | e44c51ce413aec6ff2d0230e0502bfe74a6259c3 (diff) | |
download | gunmake-75336026ae42f75c1d47310b7aff056bb7d843ea.tar.gz |
Merge branch 'master' of git.savannah.gnu.org:/srv/git/make
-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 64be3b3..3a11ffd 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 |