diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-27 12:39:51 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-02-28 14:59:38 +0100 |
| commit | b9dec99ab48f95adbc27a6d12184fe2203c2c673 (patch) | |
| tree | 41f53a990188f44d7e19beb0c8c3f468705ccadf /doc/tutorial/target-file-glob-tree.org | |
| parent | 6d28e7e77bafe30b6a30289d2755ca0bf49636bc (diff) | |
| download | justbuild-b9dec99ab48f95adbc27a6d12184fe2203c2c673.tar.gz | |
Various typo fixes
Co-authored-by: Sascha Roloff <sascha.roloff@huawei.com>
Diffstat (limited to 'doc/tutorial/target-file-glob-tree.org')
| -rw-r--r-- | doc/tutorial/target-file-glob-tree.org | 2 |
1 files changed, 1 insertions, 1 deletions
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 |