diff --git a/.docker/Dockerfile b/.docker/Dockerfile index c57c673b84555fee799f7f068adb4342932189df..8b47e7657c10d2a5d76acf12be3ba73312281a82 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -6,6 +6,9 @@ RUN apt-get install -y cmake/buster-backports RUN apt-get install -y git RUN apt-get install -y python3-pip RUN apt-get install -y curl + +# Dirty workaround for java not linking to the correct manpage directory (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199) +RUN mkdir -p /usr/share/man/man1 RUN apt-get install -y openjdk-11-jdk-headless RUN pip3 install conan