install pandoc for docs

scipopt · Dec 8, 2024 · 020d2bb · 020d2bb
1 parent 94680c3
commit 020d2bb
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/deploy-documentation.yml b/.github/workflows/deploy-documentation.yml
@@ -20,7 +20,7 @@ jobs:
 
       - name: Update and install wget
         run: |
-          sudo apt-get update && sudo apt-get install --yes wget
+          sudo apt-get update && sudo apt-get install --yes wget pandoc
 
       - name: Download libscip-linux.zip
         run: |

diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,6 +1,6 @@
-Sphinx==4.3.1
-sphinx_copybutton==0.4.0
-furo==2021.11.23
-myst-parser==0.15.2
-nbsphinx==0.8.7
-jupyter==1.0.0
+Sphinx
+sphinx_copybutton
+furo
+myst-parser
+nbsphinx
+jupyter