From 50270fcb1cd3c44cf1efbdd286351c41aa9d42e9 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Wed, 25 Apr 2012 15:38:35 +0200 Subject: [PATCH] add index.html for updatesite --- build.gradle | 2 ++ index.html | 74 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 76 insertions(+) create mode 100644 index.html diff --git a/build.gradle b/build.gradle index ed0e79f4..f3e7de27 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 00000000..610de7a2 --- /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> -- GitLab