Create index.html (#1644)

2024-05-31 14:32:32 +02:00 · 2024-05-31 14:32:32 +02:00 · bc9faf24c4
parent cda9b7a037
commit bc9faf24c4
1 changed files with 11 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -0,0 +1,11 @@
+<!DOCTYPE html>
+<html>
+  <script type="text/javascript">
+    window.location = "main/";
+  </script>
+  <body>
+    <noscript>
+      Please navigate to <a href="main/">here</a> for the documentation.
+    </noscript>
+  </body>
+</html>