diff --git a/docs/manual/CoreTasks/copy.html b/docs/manual/CoreTasks/copy.html index 54782a3af..682988718 100644 --- a/docs/manual/CoreTasks/copy.html +++ b/docs/manual/CoreTasks/copy.html @@ -119,7 +119,7 @@ operation as filtersets attribute if given or the default JVM encoding otherwise.