Installed needed sphinx dependencies

emmo-repo · Apr 7, 2024 · a94346f · a94346f
1 parent 6c34130
commit a94346f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
@@ -32,7 +32,8 @@ jobs:
     - name: Install dependencies
       run: |
         pip install --upgrade pip
-        pip install sphinx git+https://github.com/emmo-repo/EMMOntoPy.git@ontodoc2
+        pip install sphinx sphinxcontrib-globalsubs sphinx_design nbsphinx
+        pip install git+https://github.com/emmo-repo/EMMOntoPy.git@ontodoc2
         #pip install sphinx EMMOntoPy
 
     - name: Create and prepare build and public directories
@@ -60,6 +61,7 @@ jobs:
 
     - name: Copy to GitHub Pages
       run: |
+        # Do not overwrite index.html
         rm public/index.html
         cp -rf public/* pages/.