From 91848b78e35fd3a3b3a9f6a6fca0fb0a332a9e45 Mon Sep 17 00:00:00 2001 From: Tully Foote Date: Tue, 30 Jan 2024 11:13:57 -0800 Subject: [PATCH] clean up docker installation to focus on pip version pinning --- docker/image/Dockerfile | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/docker/image/Dockerfile b/docker/image/Dockerfile index 326ff7bb755..000de1825e9 100644 --- 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