Added final slash to directory arguments to sphinx-build

emmo-repo · Apr 7, 2024 · 01fe58a · 01fe58a
1 parent 0d70903
commit 01fe58a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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