📚 Add redirect to sphinx custom html dump. Reference: https://github.…

…com/sphinx-doc/sphinx/issues/3382\#issuecomment-408426538
Ambro17 · Sep 25, 2020 · 88051cb · 88051cb
1 parent 1705523
commit 88051cb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -0,0 +1,2 @@
+<meta http-equiv="refresh" content="0; url=./build/html/index.html" />
+