diff options
-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 1e12a6de..29c852a9 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -3074,7 +3074,7 @@ Suppose @file{hello.bin} is up to date in regards to the source files, @code{.SECONDARY} make would rebuild @file{hello.o} then rebuild @file{hello.bin} even though the source files had not changed. By declaring @file{hello.o} as @code{.SECONDARY} @code{make} will not need to rebuild it -and won't need to rebuild @file{hello.bin} either. Of course, of one of the +and won't need to rebuild @file{hello.bin} either. Of course, if one of the source files @emph{were} updated then all object files would be rebuilt so that the creation of @file{hello.bin} could succeed. |