From 01fe58a0c990583dac538f2b0e4ee897b391b2cf Mon Sep 17 00:00:00 2001 From: Jesper Friis Date: Sun, 7 Apr 2024 19:10:01 +0200 Subject: [PATCH] Added final slash to directory arguments to sphinx-build --- .github/workflows/cd_update_pages.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml index 7273f30d..1cbc52dc 100644 --- a/.github/workflows/cd_update_pages.yml +++ b/.github/workflows/cd_update_pages.yml @@ -47,7 +47,10 @@ jobs: - name: Generate html documentation run: | ontodoc --iri-regex=https://w3id.org/emmo --imported emmo.ttl build/emmo.rst - sphinx-build build public + ls + ls build + ls public + sphinx-build build public/ - name: Publish uses: peaceiris/actions-gh-pages@v3