From a11ab8ad8b8e60b953f32c03107e84577ffc48d2 Mon Sep 17 00:00:00 2001
From: P-E Rethore <pe@retho.re>
Date: Wed, 18 Apr 2018 12:28:10 +0200
Subject: [PATCH] minor fix of the docker file

---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index d3daa1c5..e858612a 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -80,7 +80,7 @@ RUN dpkg -i *.deb
 RUN apt-get clean \
  && apt-get autoremove -y
 
-RUN mkdir /install
+#RUN mkdir /install
 WORKDIR   /install
 COPY fuga/*.pas /install/
 COPY fuga/*.lpr /install/
-- 
GitLab