diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-07 17:36:18 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-07 17:36:18 +0000 |
commit | e3f4be66020538e3ab641f91405b8c07582e5862 (patch) | |
tree | dce8b52d8d4bf5e66cc5601febb1794f3f62377d /tex/src/appendix-existing-tools.tex | |
parent | e52cbf57ccbe72c8f9a32aaeb927c194c7e485a1 (diff) |
Removed all \new highlights after submission of review
With the submission of the revision (which highlighted all the relevant
parts to the points the referees raised in the submitted PDF) it is no
longer necessary to highlight these parts.
If we get another revision request, we can add new '\new' parts for
highlighting.
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. |