debugging

emmo-repo · Apr 7, 2024 · b514528 · b514528
1 parent 1bb8167
commit b514528
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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