diff --git a/docs/manual/CoreTasks/ant.html b/docs/manual/CoreTasks/ant.html index d69c7061a..58310f5c5 100644 --- a/docs/manual/CoreTasks/ant.html +++ b/docs/manual/CoreTasks/ant.html @@ -105,7 +105,7 @@ optionally changing their id.

Yes - toid + torefid The id of the reference in the new project. No, defaults to the value of refid.