From 50d3fdbf7178ef94141b807931b2a26527746987 Mon Sep 17 00:00:00 2001 From: Sebastian Hugentobler Date: Fri, 27 Sep 2019 19:08:42 +0200 Subject: [PATCH] remove dockerfile --- Dockerfile | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index 5bb9b50..0000000 --- a/Dockerfile +++ /dev/null @@ -1,22 +0,0 @@ -FROM debian:buster-slim - -# to prevent debian from throwing an error for the java installation -RUN mkdir -p /usr/share/man/man1 - -RUN apt update -RUN apt install -y \ - bc \ - dc \ - lilypond \ - make \ - latexmk \ - texlive-latex-recommended \ - texlive-latex-extra \ - texlive-fonts-recommended \ - texlive-luatex \ - poppler-utils \ - pdftk \ - timidity \ - opus-tools - -VOLUME [ "/src" ]