Add redirect index

antmicro · Jun 29, 2023 · 017f627 · 017f627
1 parent 59df2ba
commit 017f627
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/scripts/indexgen/index_redirect/index.html b/.github/scripts/indexgen/index_redirect/index.html
@@ -0,0 +1,8 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="refresh" content="0; url='https://chipsalliance.github.io/Cores-VeeR-EL2/html/index.html'" />
+  </head>
+  <body>
+  </body>
+</html>
diff --git a/.github/workflows/publish-webpage.yml b/.github/workflows/publish-webpage.yml
@@ -57,6 +57,10 @@ jobs:
         run: |
           .github/scripts/update_webpage.sh ${{ github.ref_name }} ${{ github.event_name }} ${{ github.event.number }}
 
+      - name: Add redirect index page
+        run: |
+          cp .github/scripts/indexgen/index_redirect/index.html ./public.new/
+
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
         if: ${{ github.ref == 'refs/heads/main' }}