From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 11 Nov 2019 00:12:29 +0000 (+0100)
Subject: docker/build-deps: install sphinx elements from the packages, not with pip3
X-Git-Tag: v3.25~409
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/cd3b75540629d88984e6fc9092f79fae8cc8c52b

docker/build-deps: install sphinx elements from the packages, not with pip3
---

diff --git a/tools/docker/Dockerfile.build-deps b/tools/docker/Dockerfile.build-deps
index f4dfef2fd2..8bade76d7b 100644
--- a/tools/docker/Dockerfile.build-deps
+++ b/tools/docker/Dockerfile.build-deps
@@ -18,6 +18,5 @@ RUN apt-get --allow-releaseinfo-change update && \
        chrpath \
        libdw-dev libevent-dev libunwind8-dev \
        linkchecker \
-       && \
-    pip3 install breathe 'sphinx>=1.8.0b1' sphinx_rtd_theme
+       python3-sphinx python3-breathe python3-sphinx-rtd-theme
 		   
\ No newline at end of file