From 012ac80c38d431d68f1dacb01fbfe27bcb7f7eb0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 8 May 2018 15:36:27 +0200
Subject: Remove tutorials.

---
 .travis.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index d7caf1daf..88eed5186 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -149,7 +149,7 @@ matrix:
     - env:
       - TEST_TARGET="test-suite"
       - EXTRA_CONF="-coqide opt -with-doc yes"
-      - EXTRA_OPAM="hevea ${LABLGTK}"
+      - EXTRA_OPAM="${LABLGTK}"
       before_install: &sphinx-install
       - sudo pip3 install bs4 sphinx sphinx_rtd_theme pexpect antlr4-python3-runtime sphinxcontrib-bibtex
       addons:
@@ -180,7 +180,7 @@ matrix:
       - FINDLIB_VER="${FINDLIB_VER_BE}"
       - CAMLP5_VER="${CAMLP5_VER_BE}"
       - EXTRA_CONF="-coqide opt -with-doc yes"
-      - EXTRA_OPAM="hevea ${LABLGTK_BE}"
+      - EXTRA_OPAM="${LABLGTK_BE}"
       before_install: *sphinx-install
       addons:
         apt:
@@ -196,7 +196,7 @@ matrix:
       - CAMLP5_VER="${CAMLP5_VER_BE}"
       - NATIVE_COMP="no"
       - EXTRA_CONF="-coqide opt -with-doc yes -flambda-opts -O3"
-      - EXTRA_OPAM="hevea ${LABLGTK_BE}"
+      - EXTRA_OPAM="${LABLGTK_BE}"
       before_install: *sphinx-install
       addons:
         apt:
@@ -208,7 +208,7 @@ matrix:
     - env:
       - MAIN_TARGET="coqocaml"
       - EXTRA_CONF="-byte-only -coqide byte -warn-error yes"
-      - EXTRA_OPAM="hevea ${LABLGTK}"
+      - EXTRA_OPAM="${LABLGTK}"
       addons:
         apt:
           sources:
@@ -225,7 +225,7 @@ matrix:
       - FINDLIB_VER="${FINDLIB_VER_BE}"
       - CAMLP5_VER="${CAMLP5_VER_BE}"
       - EXTRA_CONF="-byte-only -coqide byte -warn-error yes"
-      - EXTRA_OPAM="hevea ${LABLGTK_BE}"
+      - EXTRA_OPAM="${LABLGTK_BE}"
       addons:
         apt:
           sources:
-- 
cgit v1.2.3