diff --git a/docs/manual/CoreTypes/dirset.html b/docs/manual/CoreTypes/dirset.html index ab6e83f25..ef52fa65a 100644 --- a/docs/manual/CoreTypes/dirset.html +++ b/docs/manual/CoreTypes/dirset.html @@ -9,12 +9,10 @@

DirSet

-

DirSets are groups of directories. These directories can be found in a +

A DirSet is a group of directories. These directories can be found in a directory tree starting in a base directory and are matched by -patterns taken from a number of PatternSets. DirSets can appear inside tasks -that support this feature or at the same level as target -(i.e., as children of <project>).

+patterns taken from a number of PatternSets. +

PatternSets can be specified as nested <patternset> elements. In addition, DirSet holds an implicit PatternSet and supports the nested @@ -59,7 +57,7 @@ elements of <patternset> directly, as well as casesensitive - Specifies whether case-sensitivty should be applied + Specifies whether case-sensitivity should be applied (true|yes|on or false|no|off). No; defaults to true.