From 64041dd399efa5cccb877e50505aa6857e118663 Mon Sep 17 00:00:00 2001
From: Jesper Friis <jesper.friis@sintef.no>
Date: Sun, 7 Apr 2024 20:06:17 +0200
Subject: [PATCH] Try to publish to gh-pages branch...

---
 .github/workflows/cd_update_pages.yml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
index aff697e0..a788a503 100644
--- 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