Add a PPA for TeX packages.

Fixes #113.
craigcitro · Apr 7, 2014 · d959860 · d959860
1 parent 99eb1d2
commit d959860
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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 \