add index.html for updatesite

50270fcb · Jens Bendisposto · 1098297d · 50270fcb · 50270fcb
Commit 50270fcb authored Apr 25, 2012 by Jens Bendisposto
--- 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'
 }
--- a/index.html
+++ b/index.html
+<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>