From 3e8065269d7d091955644538534d5699a80d42e3 Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Sat, 15 Dec 2018 02:03:05 +0100
Subject: [PATCH 1/2] use pip3 for doc generation

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 276b393141..f93f780462 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -55,7 +55,7 @@ jobs:
       env:
         - BUILD_TYPE=docs
       install:
-        - pip install --user -r doc/requirements.txt;
+        - pip3 install --user -r doc/requirements.txt;
 
     - name: "Style check"
       script: $TRAVIS_BUILD_DIR/tests/common.sh

From bff6739dc45e798303267550ed99c2f4be701054 Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Sat, 15 Dec 2018 02:10:11 +0100
Subject: [PATCH 2/2] install pip3

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index f93f780462..7d595ab075 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -55,6 +55,7 @@ jobs:
       env:
         - BUILD_TYPE=docs
       install:
+        - sudo apt-get install python3-pip
         - pip3 install --user -r doc/requirements.txt;
 
     - name: "Style check"