From bca2b7babd5622400596a4e83d366b1db0f08480 Mon Sep 17 00:00:00 2001 From: Alistair Burrowes Date: Sun, 22 Aug 2021 18:12:48 +1000 Subject: [PATCH] Skip docs in final image --- 8.10/ghcup/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/8.10/ghcup/Dockerfile b/8.10/ghcup/Dockerfile index 343409a..cba36f2 100644 --- a/8.10/ghcup/Dockerfile +++ b/8.10/ghcup/Dockerfile @@ -49,7 +49,8 @@ RUN apt-get update && \ rm -rf /var/lib/apt/lists/* COPY --from=builder /usr/local/bin /usr/local/bin -COPY --from=builder /opt/ghc /opt/ghc +COPY --from=builder /opt/ghc/bin /opt/ghc/bin +COPY --from=builder /opt/ghc/lib /opt/ghc/lib # Adjust PATH RUN echo 'export PATH="/opt/ghc/bin:$PATH"' >> /etc/profile.d/ghcup_path.sh && \