ci: update CI to proper html file

Octocorn-Learning · Nov 9, 2023 · 014b52b · 014b52b
1 parent 999f058
commit 014b52b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/generate_static_site.yaml b/.github/workflows/generate_static_site.yaml
@@ -17,6 +17,10 @@ jobs:
           run: reveal-md ./cours --static --glob '*.slides.md'
         - name: run the apply_theme bash script
           run: bash ./apply_theme.sh
+        - name: remove index.html
+          run: rm ./_static/index.html
+        - name: rename 00_index.slides.html to index.html
+          run: mv ./_static/00_index.slides.html ./_static/index.html
         - name: push to gh-pages
           uses: JamesIves/github-pages-deploy-action@v4
           with: