CI: user_manual.yml: install Tex via setup action (#6879)

* CI: user_manual.yml: install Tex via setup action Fixes #6878 * Delete unknown packages * Additional packages for setup action * Add package framed * Add back missing packages * Add package fancyvrb * Add package upquote * Add package booktabs * Add etoolbox * Add bbm * Add bbm * Add package mathtools * Add bbm-macros * Add mathtools * Add stmaryrd * Add psnfss * Add times * Add chancery instead of times * Add zapfchan * Sort packages alphabetically
agda · Sep 25, 2023 · be1d15c · be1d15c
1 parent 86fce9a
commit be1d15c
Show file tree

Hide file tree

Showing 2 changed files with 41 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 bbm-macros booktabs capt-of cmap colortbl
+          dvipng ellipse etoolbox fancyvrb float fncychap framed keystroke latexmk
+          mathtools needspace parskip pict2e psnfss stmaryrd tabulary tex-gyre titlesec
+          upquote varwidth wrapfig zapfchan
     - 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,40 @@ 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: Setup TeX Live
+      uses: teatimeguest/setup-texlive-action@v2
+      with:
+        packages: >-
+          scheme-basic
+          anyfontsize
+          bbm
+          bbm-macros
+          booktabs
+          capt-of
+          cmap
+          colortbl
+          dvipng
+          ellipse
+          etoolbox
+          fancyvrb
+          float
+          fncychap
+          framed
+          keystroke
+          latexmk
+          mathtools
+          needspace
+          parskip
+          pict2e
+          psnfss
+          stmaryrd
+          tabulary
+          tex-gyre
+          titlesec
+          upquote
+          varwidth
+          wrapfig
+          zapfchan
 
     - name: Build User Manual in HTML
       run: |