From b9dec99ab48f95adbc27a6d12184fe2203c2c673 Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Mon, 27 Feb 2023 12:39:51 +0100 Subject: Various typo fixes Co-authored-by: Sascha Roloff --- doc/tutorial/target-file-glob-tree.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/tutorial/target-file-glob-tree.org') 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 -- cgit v1.2.3