summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Smith <psmith@gnu.org>2013-05-04 13:14:39 -0400
committerPaul Smith <psmith@gnu.org>2013-05-04 13:14:39 -0400
commit75336026ae42f75c1d47310b7aff056bb7d843ea (patch)
treee31e75e7961a55545c8f4734c708b4c9c7a69b7e
parentb8467292c9be14b31c028d472107946770ed977e (diff)
parente44c51ce413aec6ff2d0230e0502bfe74a6259c3 (diff)
downloadgunmake-75336026ae42f75c1d47310b7aff056bb7d843ea.tar.gz
Merge branch 'master' of git.savannah.gnu.org:/srv/git/make
-rw-r--r--doc/make.texi2
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