[ travis ] Try docker image adnrv/texlive:custom

andreasabel · Apr 28, 2019 · cc54c92 · cc54c92
1 parent d6f796b
commit cc54c92
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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