Skip to content
Snippets Groups Projects
Commit a5b22bc8 authored by Lukas Ladenberger's avatar Lukas Ladenberger
Browse files

updated build files

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14620 1434b563-b632-4741-aa49-43a3a8374d2e
parent 06a5b0d0
No related branches found
No related tags found
No related merge requests found
...@@ -12,8 +12,8 @@ apply from: 'tycho_build.gradle' ...@@ -12,8 +12,8 @@ apply from: 'tycho_build.gradle'
// Local tasks // Local tasks
task importPlugin << { task importPlugin << {
sourcedir = 'org.rodinp.handbook.feature/build/eclipse' sourcedir = '../org.rodinp.handbook.feature/build/eclipse'
targetdir = 'org.rodinp.handbook' targetdir = '../org.rodinp.handbook'
delete file(targetdir) delete file(targetdir)
new File(targetdir).mkdirs() new File(targetdir).mkdirs()
copy { copy {
...@@ -23,8 +23,8 @@ task importPlugin << { ...@@ -23,8 +23,8 @@ task importPlugin << {
} }
task collectArtifacts(type:Copy) { task collectArtifacts(type:Copy) {
from groupID+'.repository/target/repository/' from '../'+groupID+'.repository/target/repository/'
into 'updatesite' into '../updatesite'
from "index.html" from "index.html"
into 'updatesite' into '../updatesite'
} }
<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>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment