diff --git a/org.rodinp.handbook.releng/build.gradle b/org.rodinp.handbook.releng/build.gradle index 5c45b69aedd339f3cdd837767de7d66a5df80385..34debbae206ef1cf0cdd421875a40a5e13090e4c 100755 --- a/org.rodinp.handbook.releng/build.gradle +++ b/org.rodinp.handbook.releng/build.gradle @@ -23,6 +23,16 @@ task importPlugin << { into targetdir } } + +task deleteOldHelpPlugin(type: Delete) { + String helpPlugin = workspacePath+'org.rodinp.handbook' + delete helpPlugin +} + +task importHelpPlugin(type:Copy) { + from workspacePath+'org.rodinp.handbook.feature/build/eclipse' + into workspacePath+'org.rodinp.handbook' +} task deleteOldArtifacts(type: Delete) { String updateSite = workspacePath+'updatesite'