add index.html

mikebarkmin · mikebarkmin · commit 2642d8297bdd · 2022-11-26T22:05:20.000+01:00
diff --git a/resources/build.xml b/resources/build.xml
@@ -296,7 +296,7 @@
         />
 
         <move file="${project.dist.version}/${project.name}.zip" todir="${project.dist}"/>
-        <move file="resources/index.html" todir="${project.dist}" />
+        <copy file="resources/index.html" todir="${project.dist}" />
 
         <delete dir="${project.dist.version}"/>
     </target>
diff --git a/resources/index.html b/resources/index.html
@@ -0,0 +1,15 @@
+<!DOCTYPE HTML>
+<html lang="en-US">
+<head>
+    <meta charset="UTF-8">
+    <meta http-equiv="refresh" content="0; url=https://scratch4j.openpatch.org">
+    <script type="text/javascript">
+            window.location.href = "https://scratch4j.openpatch.org"
+        </script>
+    <title>Page Redirection</title>
+</head>
+<body>
+<!-- Note: don't tell people to `click` the link, just tell them that it is a link. -->
+If you are not redirected automatically, follow this <a href='https://scratch4j.openpatch.org'>link to example</a>.
+</body>
+</html>
