Avoid texlive-full for docs CI

flintlib · Mar 11, 2025 · 0aa6467 · 0aa6467
1 parent 98c49a7
commit 0aa6467
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,7 +29,9 @@ jobs:
 
       - name: "Setup"
         run: |
-          sudo apt-get install -y python3-sphinx texlive-full
+          sudo apt-get install -y python3-sphinx
+          # See https://www.sphinx-doc.org/en/master/usage/builders/index.html#sphinx.builders.latex.LaTeXBuilder
+          sudo apt-get install -y texlive-latex-recommended texlive-fonts-recommended texlive-fonts-extra tex-gyre texlive-latex-extra latexmk
           sphinx-build --version
 
       - name: "Build documentation"

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -219,7 +219,9 @@ jobs:
       - if: env.TAG_NAME != 'nightly'
         name: "Build PDF documentation"
         run: |
-          sudo apt-get install -y python3-sphinx texlive-full
+          sudo apt-get install -y python3-sphinx
+          # See https://www.sphinx-doc.org/en/master/usage/builders/index.html#sphinx.builders.latex.LaTeXBuilder
+          sudo apt-get install -y texlive-latex-recommended texlive-fonts-recommended texlive-fonts-extra tex-gyre texlive-latex-extra latexmk
           sphinx-build --version
           tar -xf flint-${FLINT_VERSION}.tar.gz
           cd flint-${FLINT_VERSION}/doc/