debugging

emmo-repo · Apr 7, 2024 · 1bb8167 · 1bb8167
1 parent 01fe58a
commit 1bb8167
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
@@ -47,10 +47,9 @@ jobs:
     - name: Generate html documentation
       run: |
         ontodoc --iri-regex=https://w3id.org/emmo --imported emmo.ttl build/emmo.rst
-        ls
-        ls build
-        ls public
-        sphinx-build build public/
+        ls -LR
+        sphinx-build --version
+        sphinx-build build public
 
     - name: Publish
       uses: peaceiris/actions-gh-pages@v3