From b51452862d2710b9b8dab45b8866d0a92bbdae76 Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 7 Apr 2024 19:38:33 +0200 Subject: [PATCH] debugging --- .github/workflows/cd_update_pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml index 1e28ed46..8e227170 100644 --- a/.github/workflows/cd_update_pages.yml +++ b/.github/workflows/cd_update_pages.yml @@ -49,7 +49,7 @@ jobs: ontodoc --iri-regex=https://w3id.org/emmo --imported emmo.ttl build/emmo.rst ls -LR sphinx-build --version - sphinx-build build public + sphinx-build "build/" "public/" - name: Publish uses: peaceiris/actions-gh-pages@v3