www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit b71376c9995797b6526ca2409c4c25c1c0605c26
parent b7bd9fc890223d65e16d5cf17af41cede19493d7
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 21:50:09 +0200

Trying to debug the Travis build.

Diffstat:
M.travis.yml | 3+++
1 file changed, 3 insertions(+), 0 deletions(-)

diff --git a/.travis.yml b/.travis.yml @@ -36,6 +36,9 @@ jobs: - texlive-fonts-extra - texlive-fonts-recommended - texlive-latex-extra + - texlive-latex3 + # texlive-latex3 on 12.04, texlive-latex-recommended on more recent versions of Ubuntu. + texlive-latex-recommended - latex-xcolor install: - if test "$TRAVIS_BUILD_ID" != `cat ~/.racket/travis_build_id`; then travis_terminate 1; fi