diff --git a/build.gradle b/build.gradle index ed0e79f4d24614a557d864f1fa985b348548fbea..f3e7de27ce1f8eb47ad5354234c46daab22ba410 100644 --- a/build.gradle +++ b/build.gradle @@ -62,4 +62,6 @@ task downloadCli << { task collectArtifacts(type:Copy) { from groupID+'.repository/target/repository/' into 'updatesite' + from "index.html" + into 'updatesite' } diff --git a/index.html b/index.html new file mode 100644 index 0000000000000000000000000000000000000000..610de7a23affea84880d6f0f405b2962a5dc9a02 --- /dev/null +++ b/index.html @@ -0,0 +1,74 @@ +<html> +<head> +<title>stups.prob.update</title> +<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> +<style>@import url("web/site.css");</style> +<script type="text/javascript"> + var returnval = 0; + var stylesheet, xmlFile, cache, doc; + function init(){ + // NSCP 7.1+ / Mozilla 1.4.1+ / Safari + // Use the standard DOM Level 2 technique, if it is supported + if (document.implementation && document.implementation.createDocument) { + xmlFile = document.implementation.createDocument("", "", null); + stylesheet = document.implementation.createDocument("", "", null); + if (xmlFile.load){ + xmlFile.load("site.xml"); + stylesheet.load("web/site.xsl"); + } else { + alert("Document could not be loaded by browser."); + } + xmlFile.addEventListener("load", transform, false); + stylesheet.addEventListener("load", transform, false); + } + //IE 6.0+ solution + else if (window.ActiveXObject) { + xmlFile = new ActiveXObject("msxml2.DOMDocument.3.0"); + xmlFile.async = false; + xmlFile.load("site.xml"); + stylesheet = new ActiveXObject("msxml2.FreeThreadedDOMDocument.3.0"); + stylesheet.async = false; + stylesheet.load("web/site.xsl"); + cache = new ActiveXObject("msxml2.XSLTemplate.3.0"); + cache.stylesheet = stylesheet; + transformData(); + } + } + // separate transformation function for IE 6.0+ + function transformData(){ + var processor = cache.createProcessor(); + processor.input = xmlFile; + processor.transform(); + data.innerHTML = processor.output; + } + // separate transformation function for NSCP 7.1+ and Mozilla 1.4.1+ + function transform(){ + returnval+=1; + if (returnval==2){ + var processor = new XSLTProcessor(); + processor.importStylesheet(stylesheet); + doc = processor.transformToDocument(xmlFile); + document.getElementById("data").innerHTML = doc.documentElement.innerHTML; + } + } +</script> +</head> +<body onload="init();"> + +<!--[insert static HTML here]--> +<a href="http://www.stups.uni-duesseldorf.de/"><img src="http://www.stups.uni-duesseldorf.de/hhulogo1.jpg" border="0" align="right"></a> +<h1 class="title">Installing the ProB plug-ins</h1> +<p class="bodyText"> +Please use the Rodin Update manager to install the plug-ins. +</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://www.stups.uni-duesseldorf.de/prob_updates/</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>