diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml index 1f052cf..e559cde 100644 --- a/.github/workflows/cd_update_pages.yml +++ b/.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 "emmo@emmc.eu" - # 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