Add html redirect from docs/ to docs/build

Currently, GH pages does not allow us to choose docs/build as the location of index.html
dynamicslab · Oct 28, 2024 · 708f1d2 · 708f1d2
1 parent 8b2e515
commit 708f1d2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=./build/index.html" />