From 8252ff7ef7159a2493dd5ac76a647a8b96a5a692 Mon Sep 17 00:00:00 2001
From: Gaetan Gilbert
Date: Fri, 5 May 2017 14:11:12 +0200
Subject: Travis: deduplicate package list for coqide+documentation targets

---
 .travis.yml | 18 ++----------------
 1 file changed, 2 insertions(+), 16 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 8dcc34a8d2..158f61cfdb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -65,7 +65,7 @@ matrix:
         apt:
           sources:
           - avsm
-          packages:
+          packages: &extra-packages
           - opam
           - aspcud
           - libgtk2.0-dev
@@ -90,21 +90,7 @@ matrix:
         apt:
           sources:
           - avsm
-          packages:
-          - opam
-          - aspcud
-          - libgtk2.0-dev
-          - libgtksourceview2.0-dev
-          - texlive-latex-base
-          - texlive-latex-recommended
-          - texlive-latex-extra
-          - texlive-math-extra
-          - texlive-fonts-recommended
-          - texlive-fonts-extra
-          - latex-xcolor
-          - ghostscript
-          - transfig
-          - imagemagick
+          packages: *extra-packages
 
 install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
-- 
cgit v1.2.3