From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 3 Jul 2019 20:47:30 +0000 (+0200)
Subject: don't install system javasphinx on our docker build-deps
X-Git-Tag: v3.23.2~7
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/911626c0ba5808798ab504a57ddea362d7746a5e?hp=a747b00c40ac50010c1bc0110e7e1dbaedb44c57;ds=sidebyside

don't install system javasphinx on our docker build-deps

I want to test whether our embeeded version works
---

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index 75522741dc..b453fd9500 100644
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -15,5 +15,5 @@ RUN apt update && \
        libdw-dev libevent-dev libunwind8-dev \
        linkchecker \
        && \
-    pip3 install breathe javasphinx 'sphinx>=1.8.0b1' sphinx_rtd_theme
+    pip3 install breathe 'sphinx>=1.8.0b1' sphinx_rtd_theme
 		   
\ No newline at end of file