Fix issue #527: Remove removal of man-pages and documentation files.

jenkinsci · Oct 13, 2023 · e5d6173 · e5d6173
1 parent ba25e6d
commit e5d6173
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/debian/21/Dockerfile b/debian/21/Dockerfile
@@ -60,7 +60,7 @@ RUN apt-get update \
     patch \
     tzdata \
   && apt-get clean \
-  && rm -rf /tmp/* /var/cache/* /usr/share/doc/* /usr/share/man/* /var/lib/apt/lists/*
+  && rm -rf /tmp/* /var/cache/* /var/lib/apt/lists/*
 
 ARG VERSION=3148.v532a_7e715ee3
 ADD --chown="${user}":"${group}" "https://repo.jenkins-ci.org/public/org/jenkins-ci/main/remoting/${VERSION}/remoting-${VERSION}.jar" /usr/share/jenkins/agent.jar

diff --git a/debian/Dockerfile b/debian/Dockerfile
@@ -79,7 +79,7 @@ RUN apt-get update \
     patch \
     tzdata \
   && apt-get clean \
-  && rm -rf /tmp/* /var/cache/* /usr/share/doc/* /usr/share/man/* /var/lib/apt/lists/*
+  && rm -rf /tmp/* /var/cache/* /var/lib/apt/lists/*
 
 ARG VERSION=3160.vd76b_9ddd10cc
 ADD --chown="${user}":"${group}" "https://repo.jenkins-ci.org/public/org/jenkins-ci/main/remoting/${VERSION}/remoting-${VERSION}.jar" /usr/share/jenkins/agent.jar