diff options
| -rw-r--r-- | .circleci/config.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index 59f24ec..f73afec 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -7,6 +7,9 @@ jobs: - run: name: Git installation command: apt-get -qq update; apt-get -y install git + - run: + name: Latex installation + command: apt-get -qq update && sudo apt-get install -y --no-install-recommends latexmk texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-luatex texlive-xetex latex-xcolor texlive-pictures pgf texlive-lang-french fonts-font-awesome - add_ssh_keys - checkout - run: |