From d9598606156fe024471c40cd9b1b6312255942bf Mon Sep 17 00:00:00 2001 From: Craig Citro Date: Mon, 7 Apr 2014 15:17:49 -0700 Subject: [PATCH] Add a PPA for TeX packages. Fixes #113. --- scripts/travis-tool.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/travis-tool.sh b/scripts/travis-tool.sh index 92edee1..b4ecab4 100755 --- a/scripts/travis-tool.sh +++ b/scripts/travis-tool.sh @@ -64,6 +64,9 @@ BootstrapLinux() { BootstrapLinuxOptions() { if [[ -n "$BOOTSTRAP_LATEX" ]]; then + # We add a backports PPA for more recent TeX packages. + sudo add-apt-repository -y "ppa:texlive-backports/ppa" + Retry sudo apt-get install --no-install-recommends \ texlive-base texlive-latex-base texlive-generic-recommended \ texlive-fonts-recommended texlive-fonts-extra \