CI: user_manual.yml: install Tex via setup action

Fixes #6878
agda · Sep 25, 2023 · 45bb249 · 45bb249
1 parent 86fce9a
commit 45bb249
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 16 deletions.
diff --git a/.github/workflows/user_manual.yml b/.github/workflows/user_manual.yml
@@ -22,14 +22,13 @@ jobs:
     - name: Install dependencies
       run: |
         pip install -r doc/user-manual/requirements.txt
-    - name: Install Tex Live and LaTeX packages
-      run: |
-        export PATH=$HOME/texlive/bin/x86_64-linux:$PATH
-        curl -Lo /tmp/texlive.tar.gz https://github.com/jimhester/ubuntu-bin/releases/download/latest/texlive.tar.gz
-        tar xzf /tmp/texlive.tar.gz -C ~
-        tlmgr option repository http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final
-        tlmgr update --self
-        tlmgr install anyfontsize bbm capt-of cmap dvipng fncychap keystroke latexmk needspace tex-gyre
+    - name: Setup TeX Live
+      uses: teatimeguest/setup-texlive-action@v2
+      with:
+        packages: scheme-basic anyfontsize bbm capt-of cmap dvipng fncychap keystroke
+          latexmk needspace tex-gyre alltt colortbl ellipse hypcap longtable makeidx
+          multicol parskip pict2e pifont tabulary tgheros tgtermes titlesec varwidth
+          wrapfig
     - name: Build User Manual in HTML
       run: |
         export PATH=$HOME/texlive/bin/x86_64-linux:$PATH

diff --git a/src/github/workflows/user_manual.yml b/src/github/workflows/user_manual.yml
@@ -37,14 +37,37 @@ jobs:
       run: |
         pip install -r doc/user-manual/requirements.txt
 
-    - name: Install Tex Live and LaTeX packages
-      run: |
-        export PATH=$HOME/texlive/bin/x86_64-linux:$PATH
-        curl -Lo /tmp/texlive.tar.gz https://github.com/jimhester/ubuntu-bin/releases/download/latest/texlive.tar.gz
-        tar xzf /tmp/texlive.tar.gz -C ~
-        tlmgr option repository http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final
-        tlmgr update --self
-        tlmgr install anyfontsize bbm capt-of cmap dvipng fncychap keystroke latexmk needspace tex-gyre
+    # - name: Install Tex Live and LaTeX packages
+    #   run: |
+    #     export PATH=$HOME/texlive/bin/x86_64-linux:$PATH
+    #     curl -Lo /tmp/texlive.tar.gz https://github.com/jimhester/ubuntu-bin/releases/download/latest/texlive.tar.gz
+    #     tar xzf /tmp/texlive.tar.gz -C ~
+    #     tlmgr option repository http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2017/tlnet-final
+    #     tlmgr update --self
+    #     tlmgr install anyfontsize bbm capt-of cmap dvipng fncychap keystroke latexmk needspace tex-gyre
+
+    - name: Setup TeX Live
+      uses: teatimeguest/setup-texlive-action@v2
+      with:
+        packages: >-
+          scheme-basic
+          anyfontsize bbm capt-of cmap dvipng fncychap keystroke latexmk needspace tex-gyre
+          alltt
+          colortbl
+          ellipse
+          hypcap
+          longtable
+          makeidx
+          multicol
+          parskip
+          pict2e
+          pifont
+          tabulary
+          tgheros
+          tgtermes
+          titlesec
+          varwidth
+          wrapfig
 
     - name: Build User Manual in HTML
       run: |