From 3a3852ad7442825717da5b2bc092a893e597c9d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlos=20Jos=C3=A9=20Ruiz-Henestrosa=20Ruiz?= Date: Fri, 2 Nov 2018 15:30:34 +0100 Subject: [PATCH] Workaround for tectonic-typesetting/tectonic#131 Cambiada la fuente de tectonic porque el certificado SSL de purg.org ha expirado --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 305d9ff..ab06f41 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,7 +3,7 @@ services: docker script: # We use the docker image from https://hub.docker.com/r/cludch/tectonic/ - docker pull cludch/tectonic - - docker run --mount src=$TRAVIS_BUILD_DIR,target=/usr/src/tex,type=bind cludch/tectonic tectonic VD.tex + - docker run --mount src=$TRAVIS_BUILD_DIR,target=/usr/src/tex,type=bind cludch/tectonic tectonic --web-bundle "https://tectonic.newton.cx/bundles/tlextras-2018.1r0/bundle.tar" VD.tex before_deploy: - git tag "$(date +'%Y%m%d%H%M%S')-$(git log --format=%h -1)"