diff options
Diffstat (limited to 'tex/src/appendix-existing-tools.tex')
| -rw-r--r-- | tex/src/appendix-existing-tools.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/src/appendix-existing-tools.tex b/tex/src/appendix-existing-tools.tex index 7efb7cb..f23e2d1 100644 --- a/tex/src/appendix-existing-tools.tex +++ b/tex/src/appendix-existing-tools.tex @@ -377,7 +377,7 @@ Here, we complement that section with more technical details on Make. Usually, the top-level Make instructions are placed in a file called Makefile, but it is also common to use the \inlinecode{.mk} suffix for custom file names. Each stage/step in the analysis is defined through a \emph{rule}. Rules define \emph{recipes} to build \emph{targets} from \emph{pre-requisites}. -In \new{Unix-like operating systems}, everything is a file, even directories and devices. +In Unix-like operating systems, everything is a file, even directories and devices. Therefore all three components in a rule must be files on the running filesystem. To decide which operation should be re-done when executed, Make compares the timestamp of the targets and prerequisites. |