clean up docker installation to focus on pip version pinning

gonzodepedro · Jan 30, 2024 · 91848b7 · 91848b7
1 parent 0c0b5b5
commit 91848b7
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/docker/image/Dockerfile b/docker/image/Dockerfile
@@ -16,13 +16,7 @@ RUN apt-get update && \
         git-all \
         graphviz \
         make \
-        python3-doc8 \
-        python3-docutils \
-        python3-pip \
-        python3-sphinx \
-        python3-sphinx-copybutton \
-        python3-sphinx-rtd-theme \
-        python3-sphinx-tabs && \
+        python3-pip && \
     rm -rf /var/lib/apt/lists/*
 
 RUN useradd -u $uid -m $user