Try to publish to gh-pages branch...

emmo-repo · Apr 7, 2024 · 64041dd · 64041dd
1 parent 7d2bd1c
commit 64041dd
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
@@ -47,9 +47,6 @@ jobs:
     - name: Generate html documentation
       run: |
         ontodoc --iri-regex=https://w3id.org/emmo --imported emmo.ttl build/emmo.rst
-        ls -LR
-        cat build/conf.py
-        sphinx-build --version
         sphinx-build "build/" "public/"
 
     - name: Publish
@@ -58,8 +55,8 @@ jobs:
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./public
-        keep_files: true
-        external_repository: emmo-repo emmo-repo.github.io
+        #keep_files: true
+        #external_repository: emmo-repo emmo-repo.github.io
 
         #publish_branch: master
         #force_orphan: true