ci: install the Sphinx theme in docs build

pbelmans · Jun 7, 2024 · 6977dc2 · 6977dc2
1 parent 38a6dbf
commit 6977dc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -24,7 +24,7 @@ jobs:
           sudo apt-get install -y fonts-freefont-ttf
           sudo apt-get install -y latexmk
           sudo apt-get install -y texlive-luatex
-          sudo apt-get install -y python3-sphinx
+          sage -pip install sphinx-book-theme
       - name: Checkout Hodge diamond cutter
         uses: actions/checkout@v3
       - name: Install Hodge diamond cutter