From 0657a174e9a21415633a1df446ac43f567327de8 Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Fri, 4 May 2012 09:19:07 +0000
Subject: [PATCH] updated build.gradle
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14675 1434b563-b632-4741-aa49-43a3a8374d2e
---
org.rodinp.handbook.releng/build.gradle | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/org.rodinp.handbook.releng/build.gradle b/org.rodinp.handbook.releng/build.gradle
index 5c45b69..34debba 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'
--
GitLab