From ab77cd4c429386717b902d22d8de9c0ac1546c0f Mon Sep 17 00:00:00 2001 From: Peter Hrvatin Date: Mon, 3 May 2021 09:33:54 +0200 Subject: [PATCH] no message --- utils/Docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/Docker/Dockerfile b/utils/Docker/Dockerfile index a09a9037b..72e519b75 100644 --- a/utils/Docker/Dockerfile +++ b/utils/Docker/Dockerfile @@ -11,7 +11,7 @@ RUN apt-get update -y \ libxml2-dev \ zlib1g-dev \ texlive-full \ - latex2rtf \ + latex2rtf \ libzip-dev \ zip \ && apt-get clean \