docs: add redirect from landing to main docs

CQCL · Jul 2, 2024 · 27404fa · 27404fa
1 parent fc71a44
commit 27404fa
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -43,7 +43,7 @@ jobs:
       - name: Upload artifact.
         uses: actions/upload-pages-artifact@v3
         with:
-          path: ./docs/build/main
+          path: ./docs/build
 
   publish:
     name: Publish docs.

diff --git a/hugr-py/docs/_static/_redirect.html b/hugr-py/docs/_static/_redirect.html
@@ -0,0 +1,9 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>Redirecting to main branch</title>
+    <meta charset="utf-8">
+    <meta http-equiv="refresh" content="0; url=./main/index.html">
+    <link rel="canonical" href="https://cqcl.github.io/hugr/main/index.html">
+  </head>
+</html>
diff --git a/hugr-py/docs/build.sh b/hugr-py/docs/build.sh
@@ -3,5 +3,6 @@
 mkdir build
 
 touch build/.nojekyll  # Disable jekyll to keep files starting with underscores
-
+# copy redirect file
+cp ./_static/_redirect.html ./build/index.html
 sphinx-multiversion ./api-docs ./build