projects
/
platform
/
upstream
/
make.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cb2be0d
)
Fix a typo in the manual.
author
Eli Zaretskii
<eliz@gnu.org>
Sat, 4 May 2013 14:19:56 +0000
(17:19 +0300)
committer
Eli Zaretskii
<eliz@gnu.org>
Sat, 4 May 2013 14:19:56 +0000
(17:19 +0300)
doc/make.texi
patch
|
blob
|
history
diff --git
a/doc/make.texi
b/doc/make.texi
index 64be3b33fa4e1289a3799f7a75fdfdd760a14bad..3a11ffd479c0c29457bfea884aeaf75e2be49be9 100644
(file)
--- 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
-Th
e
is the default: all output is sent directly as it is generated and
+Th
is
is the default: all output is sent directly as it is generated and
no synchronization is performed.
@item job