diff options
Diffstat (limited to 'doc/tutorial')
| -rw-r--r-- | doc/tutorial/rebuild.org | 2 | ||||
| -rw-r--r-- | doc/tutorial/target-file-glob-tree.org | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/tutorial/rebuild.org b/doc/tutorial/rebuild.org index 115aff10..80aafb6f 100644 --- a/doc/tutorial/rebuild.org +++ b/doc/tutorial/rebuild.org @@ -206,7 +206,7 @@ non-reproducibility, however, more modifications of the environment are necessary. A simple, but effective, way for modifying the build environment -is the option ~-L~ to the set the local launcher, a list of +is the option ~-L~ to set the local launcher, a list of strings the argument vector is prefixed with before the action is executed. The default ~["env", "--"]~ simply resolves the program to be executed in the current value of ~PATH~, but a different diff --git a/doc/tutorial/target-file-glob-tree.org b/doc/tutorial/target-file-glob-tree.org index d1d29a72..84e6465b 100644 --- a/doc/tutorial/target-file-glob-tree.org +++ b/doc/tutorial/target-file-glob-tree.org @@ -252,7 +252,7 @@ to understand this in detail and the rational behind it. contains the unpatched source file ~definitions.units~. In this way, we avoid any surprises in the expansion of a glob when a new source file is added with a name equal to an already existing target. -- Only files are are considered for matching the glob. Directories +- Only files are considered for matching the glob. Directories are ignored. - Matches are only considered at the top-level directory. In this way, only one directory has to be read during analysis; allowing |