From 9962906ce3771b102b567dc87243c0d4ee3ceebc Mon Sep 17 00:00:00 2001
From: florian <f.spreckelsen@inidscale.com>
Date: Fri, 16 Jul 2021 10:38:57 +0200
Subject: [PATCH] DRAFT: Pipeline

---
 .docker/Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.docker/Dockerfile b/.docker/Dockerfile
index c57c673..8b47e76 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
 
-- 
GitLab