diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-06-02 16:53:29 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-06-02 16:53:29 +0200 |
| commit | 2050633f163eb60a073aa59af60fb9eb6f0e236d (patch) | |
| tree | 0741400f68ee85e854d22e55483f8eec93c28f62 | |
| parent | 1191a2a5a356313ffcfc2b1e82059abc6d9338d1 (diff) | |
Minor documentation changes
| -rw-r--r-- | doc/manual.cli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 2af4b07..7cacdce 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -82,9 +82,9 @@ exe{hello}: cxx{f* -fo?} # Exclude foo and fox if present. exe{hello}: cxx{f* +b* -foo -bar} # Exclude foo and bar if present. \ -Inclusion and exclusion are applied in the order specified and only to the +Inclusions and exclusions are applied in the order specified and only to the result produced up to that point. The order of names in the result is -unspecified, however, it is guaranteed not to contain duplicates. The +unspecified. However, it is guaranteed not to contain duplicates. The pattern and the following inclusions/exclusions must be consistent with regards to the type of filesystem entry they match. That is, they should all match either files or directories. For example: |