Use texlive-full from apt in documentation CI

albinahlback · Jan 20, 2025 · ed4aace · ed4aace
1 parent 8b8b84b
commit ed4aace
Showing 1 changed file with 6 additions and 9 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -15,9 +15,9 @@ on:
       - '.github/workflows/docs.yml'
 
 jobs:
-  ##############################################################################
+  #############################################################################
   # build documentation
-  ##############################################################################
+  #############################################################################
   build-doc:
     name: Push documentation to website
     if: github.repository == 'flintlib/flint'
@@ -29,7 +29,7 @@ jobs:
 
       - name: "Setup"
         run: |
-          sudo apt-get install -y python3-sphinx
+          sudo apt-get install -y python3-sphinx texlive-full
           sphinx-build --version
 
       - name: "Build documentation"
@@ -38,12 +38,9 @@ jobs:
           make html SPHINXOPTS="-W -j auto"
 
       - name: "Build PDF documentation"
-        uses: dante-ev/latex-action@latest
-        with:
-          root_file:
-          compiler:
-          args:
-          entrypoint: doc/entrypoint.sh
+        run: |
+          cd doc
+          make latexpdf SPHINXOPTS="-W -j auto"
 
       - name: "Create a tarball of the documentation"
         run: |