CI: Use texlive-full
parent
c578e90595
commit
4325a49a3a
|
@ -4,7 +4,7 @@ sudo: required
|
|||
|
||||
before_install:
|
||||
- sudo apt update
|
||||
- sudo apt install texlive texlive-xetex rubber
|
||||
- sudo apt install texlive-full rubber
|
||||
|
||||
script:
|
||||
- make
|
||||
|
|
Loading…
Reference in New Issue