Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
docker/build-deps: install sphinx elements from the packages, not with pip3
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 11 Nov 2019 00:12:29 +0000 (01:12 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 11 Nov 2019 00:12:29 +0000 (01:12 +0100)
tools/docker/Dockerfile.build-deps

index f4dfef2..8bade76 100644 (file)
@@ -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