Show readme file on main page on gh-pages

emmo-repo · Nov 6, 2024 · 5bddcd0 · 5bddcd0
1 parent 9235fb6
commit 5bddcd0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
@@ -71,11 +71,13 @@ jobs:
             public/chameo-inferred.ttl \
             build/chameo.rst
           sphinx-build "build/" "public/"
+          # Remove the generated index.html and instead show the readme file
+          rm public/index.html
           cp README.md public/
 
       - name: Publish on GitHub Pages
         uses: peaceiris/actions-gh-pages@v4
-        #if: github.ref == 'refs/heads/main'
+        if: github.ref == 'refs/heads/main'
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./public