Add docs folder with index.html and .nojekyll

TRIQS · Mar 20, 2024 · 020c3ca · 020c3ca
1 parent b728561
commit 020c3ca
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/docs/.nojekyll b/docs/.nojekyll
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,10 @@
+<html>
+<head>
+  <meta http-equiv="refresh" content="0; url=unstable/index.html">
+</head>
+<body>
+  <ul>
+    <li><a href="unstable">unstable</a></li>
+  </ul>
+</body>
+</html>