mirror of
https://github.com/mirror/make.git
synced 2025-01-01 07:50:52 +08:00
* Fixed a minor grammaticaly error.
* Second release.
This commit is contained in:
parent
b8342bbfa8
commit
b85736329a
@ -634,7 +634,7 @@ The criterion for being out of date is specified in terms of the
|
|||||||
date if it does not exist or if it is older than any of the dependencies
|
date if it does not exist or if it is older than any of the dependencies
|
||||||
(by comparison of last-modification times). The idea is that the contents
|
(by comparison of last-modification times). The idea is that the contents
|
||||||
of the target file are computed based on information in the dependencies,
|
of the target file are computed based on information in the dependencies,
|
||||||
so if any of the dependencies changes the contents of the existing target
|
so if any of the dependencies changes, the contents of the existing target
|
||||||
file are no longer necessarily valid.
|
file are no longer necessarily valid.
|
||||||
|
|
||||||
How to update is specified by @var{commands}. These are lines to be
|
How to update is specified by @var{commands}. These are lines to be
|
||||||
|
Loading…
Reference in New Issue
Block a user