diff options
Diffstat (limited to 'doc/make.texi')
-rw-r--r-- | doc/make.texi | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/make.texi b/doc/make.texi index 627d4f14..4470386d 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -10024,12 +10024,12 @@ either, unless there is some other reason to update that target: for example the target doesn't exist or a different prerequisite is newer than the target. -The second difference is that if @code{make} @emph{does} create @var{b} -in order to update something else, it deletes @var{b} later on after it -is no longer needed. Therefore, an intermediate file which did not -exist before @code{make} also does not exist after @code{make}. -@code{make} reports the deletion to you by printing a @samp{rm -f} -command showing which file it is deleting. +The second difference is that if @code{make} @emph{does} create @var{b} in +order to update something else, it deletes @var{b} later on after it is no +longer needed. Therefore, an intermediate file which did not exist before +@code{make} also does not exist after @code{make}. @code{make} reports the +deletion to you by printing a @samp{rm} command showing which file it is +deleting. Ordinarily, a file cannot be intermediate if it is mentioned in the makefile as a target or prerequisite. However, you can explicitly mark a |