From a94346fdd51310f849d928e16b737a4a5b523c4b Mon Sep 17 00:00:00 2001
From: Jesper Friis <jesper.friis@sintef.no>
Date: Sun, 7 Apr 2024 23:02:06 +0200
Subject: [PATCH] Installed needed sphinx dependencies

---
 .github/workflows/cd_update_pages.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/cd_update_pages.yml b/.github/workflows/cd_update_pages.yml
index 4a00b602..7627baf5 100644
--- 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/.