diff --git a/docs/manual/CoreTypes/selectors.html b/docs/manual/CoreTypes/selectors.html index d63c29ecb..febcb0a03 100644 --- a/docs/manual/CoreTypes/selectors.html +++ b/docs/manual/CoreTypes/selectors.html @@ -334,7 +334,11 @@ another location. The rules for determining difference between the two files are as follows:
    -
  1. If there is no 'other' file, it's different. +
  2. If a file is only present in the resource collection you apply + the selector to but not in targetdir (or after applying the + mapper) the file is selected. +
  3. If a file is only present in targetdir (or after applying the + mapper) it is ignored.
  4. Files with different lengths are different.
  5. If ignoreFileTimes is turned off, then differing file timestamps will cause files to be regarded as different.