Keep generated index.html file

.github/workflows/cd_update_pages.yml

@@ -70,10 +70,8 @@ jobs:
             --iri-regex=https://w3id.org/emmo/domain/characterisation-methodology/chameo \
             public/chameo-inferred.ttl \
             build/chameo.rst
+          cp README.md build/
           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
@@ -85,41 +83,3 @@ jobs:
           #external_repository: emmo-repo.github.io/domain-characterisation-methodology/
           #publish_branch: main
           #force_orphan: true
-
-      # - name: Checkout GitHub Pages for EMMO-repo
-      #   uses: actions/checkout@v4
-      #   with:
-      #     repository: emmo-repo/emmo-repo.github.io/domain-characterisation-methodology/
-      #     path: pages
-      #     ssh-key: ${{ secrets.SSH_PRIVATE_KEY }}
-      #     ssh-strict: no
-      #
-      # - name: Copy to GitHub Pages
-      #   run: |
-      #     # Do not overwrite index.html
-      #     rm public/index.html
-      #     # Tell GitHub that this site is not generated with jekyll
-      #     touch public/.nojekyll
-      #     # Copy to latest (root)
-      #     cp -rf public/* pages/.
-      #     # Copy to version
-      #     VERSION=$(git rev-parse --abbrev-ref HEAD)
-      #     if [ ! -d pages/versions/${VERSION} ]; then \
-      #       mkdir pages/versions/${VERSION}
-      #     fi
-      #     cp -rf public/* pages/versions/${VERSION}/.
-
-      #  # Domain repositories can use peaceiris/actions-gh-pages@v3.
-      #  # However, since EMMO for historical reasons uses a separate repo
-      #  # for its GitHub Pages, it is easier to use git directly.
-      #- name: Push to GitHub Pages
-      #  run: |
-      #    cd pages
-      #    git config --global user.email "[email protected]"
-      #    git config --global user.name "EMMO Developer"
-      #    git add --all
-      #    if [ -n "$(git status --porcelain -uno)" ]; then \
-      #      git commit -m 'Updated releasetable'; \
-      #      git pull origin main; \
-      #      git push origin main; \
-      #    fi