From cc54c92cf0ce3eee4359d2db394174e9e55c6255 Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Sun, 28 Apr 2019 08:54:20 +0200 Subject: [PATCH] [ travis ] Try docker image adnrv/texlive:custom --- .travis.yml | 5 +++-- fscd19/Makefile | 5 +++-- notes/Makefile | 5 +++-- 3 files changed, 9 insertions(+), 6 deletions(-) diff --git a/.travis.yml b/.travis.yml index 791e010..2259a6b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,8 +9,9 @@ before_install: # - sudo apt-get -q update # - sudo apt-get install -y texlive-latex-extra texlive-math-extra - docker pull jlimperg/agda-stdlib - - docker pull texlive/texlive - # adnrv/texlive + - docker pull adnrv/texlive:custom + # texlive/texlive + # script: diff --git a/fscd19/Makefile b/fscd19/Makefile index dfcd7f2..1afe82c 100644 --- a/fscd19/Makefile +++ b/fscd19/Makefile @@ -47,8 +47,9 @@ stlcagda = \ # END stlcagda -img=texlive/texlive -# WAS: adnrv/texlive +img=adnrv/texlive +# texlive/texlive + .PHONY : all debugMake html default deploy pack diff --git a/notes/Makefile b/notes/Makefile index 471c887..b3508b2 100644 --- a/notes/Makefile +++ b/notes/Makefile @@ -43,8 +43,9 @@ stlcagda = \ # END stlcagda -img=texlive/texlive -# WAS: adnrv/texlive +img=adnrv/texlive +# texlive/texlive + .PHONY : all debugMake html default deploy pack