diff --git a/org.rodinp.handbook.releng/build.gradle b/org.rodinp.handbook.releng/build.gradle index c14580deda59bf0e2681246fe6c56fcec40dd2f7..182743b67dbf96a310b6006f79a0f7652ea97681 100755 --- a/org.rodinp.handbook.releng/build.gradle +++ b/org.rodinp.handbook.releng/build.gradle @@ -39,12 +39,17 @@ task deleteOldArtifacts(type: Delete) { delete updateSite } -task collectArtifacts(type:Copy) { - from workspacePath+groupID+'.feature/build/' - into workspacePath+'current' - from workspacePath+groupID+'.repository/target/repository/' - into workspacePath+'updatesite' - from "index.html" - into workspacePath+'updatesite' +task collectArtifacts() << { + copy { + from workspacePath+groupID+'.feature/build/' + into workspacePath+'current' + } + copy { + from workspacePath+groupID+'.repository/target/repository/' + into workspacePath+'updatesite' + } + copy { + from "index.html" + into workspacePath+'updatesite' + } } -