From a5b22bc81a6e38c57505ca8bf319457f897e9939 Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Thu, 26 Apr 2012 11:00:28 +0000
Subject: [PATCH] updated build files
git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14620 1434b563-b632-4741-aa49-43a3a8374d2e
---
org.rodinp.handbook.releng/build.gradle | 10 +++++-----
org.rodinp.handbook.releng/index.html | 21 +++++++++++++++++++++
2 files changed, 26 insertions(+), 5 deletions(-)
create mode 100644 org.rodinp.handbook.releng/index.html
diff --git a/org.rodinp.handbook.releng/build.gradle b/org.rodinp.handbook.releng/build.gradle
index b340bc0..07077f3 100755
--- a/org.rodinp.handbook.releng/build.gradle
+++ b/org.rodinp.handbook.releng/build.gradle
@@ -12,8 +12,8 @@ apply from: 'tycho_build.gradle'
// Local tasks
task importPlugin << {
- sourcedir = 'org.rodinp.handbook.feature/build/eclipse'
- targetdir = 'org.rodinp.handbook'
+ sourcedir = '../org.rodinp.handbook.feature/build/eclipse'
+ targetdir = '../org.rodinp.handbook'
delete file(targetdir)
new File(targetdir).mkdirs()
copy {
@@ -23,8 +23,8 @@ task importPlugin << {
}
task collectArtifacts(type:Copy) {
- from groupID+'.repository/target/repository/'
- into 'updatesite'
+ from '../'+groupID+'.repository/target/repository/'
+ into '../updatesite'
from "index.html"
- into 'updatesite'
+ into '../updatesite'
}
diff --git a/org.rodinp.handbook.releng/index.html b/org.rodinp.handbook.releng/index.html
new file mode 100644
index 0000000..54b1e1c
--- /dev/null
+++ b/org.rodinp.handbook.releng/index.html
@@ -0,0 +1,21 @@
+<html>
+<head>
+<title>ProR Handbook Updatesite</title>
+<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+</head>
+<body onload="init();">
+<!--[insert static HTML here]-->
+<a href="http://www.formalmind.com/"><img src="http://www.formalmind.com/sites/default/files/logo_formalmind.png" border="0" align="right"></a>
+<h1 class="title">Installing the Rodin Handbook plug-in</h1>
+<p class="bodyText">
+Please use the Rodin Update manager to install the plug-in.
+</p>
+<ol class="bodyText">
+<li>Select from main menu: <i>Help | Software Updates | Find and install...</i></li>
+<li>There should already be a HHU remote site. If not, create a new remote site using the URL <br/><i>http://handbook.event-b.org/updatesite/</i></li>
+<li>Select the Plug-ins you want to install and follow the dialog</li>
+</ol>
+<br/>
+<div id="data"><!-- this is where the transformed data goes --></div>
+</body>
+</html>
--
GitLab