Add step to copy index.html to gh-pages

molmd · Sep 13, 2023 · b7c0256 · b7c0256
1 parent 8e5fe0a
commit b7c0256
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build-deploy.yml b/.github/workflows/build-deploy.yml
@@ -27,6 +27,10 @@ jobs:
         cd docs
         make html
 
+    - name: Copy index.html to gh-pages
+      run: |
+        cp docs/index.html index.html
+
     - name: Deploy to gh-pages
       run: |
         git config --global user.email "[email protected]"