Add redirection HTML for docs

BojanSof · May 11, 2024 · 6c79436 · 6c79436
1 parent 4f3f871
commit 6c79436
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -25,6 +25,9 @@ jobs:
       - name: Sphinx build
         run: |
           sphinx-multiversion docs _build
+      - name: Copy redirection index.html
+        run: |
+          cp docs/index.html _build/index.html
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v3
         if: ${{ (github.event_name == 'push' && github.ref == 'refs/heads/main') || startsWith(github.ref, 'refs/tags/') }}

diff --git a/docs/index.html b/docs/index.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://bojansof.github.io/pydevdtk/main/index.html">
+  </head>
+</html>