Added missing index.html for readthedocs

6964b634 · Olivier BICHLER · 8223b2fc · 6964b634
Commit 6964b634 authored 1 year ago by Olivier BICHLER
--- a/docs/index.html
+++ b/docs/index.html
+<!DOCTYPE HTML>
+<html lang="en-US">
+    <head>
+        <meta charset="UTF-8">
+        <meta http-equiv="refresh" content="0; url=_build/html/">
+        <script type="text/javascript">
+            window.location.href = "_build/html/"
+        </script>
+        <title>Page Redirection</title>
+    </head>
+    <body>
+        If you are not redirected automatically, follow this <a href='_build/html/'>link</a>.
+    </body>
+</html>