From b4b74df2ff97be59ad6eb8c7988c8bf1cc2553df Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Tue, 31 Jan 2023 16:30:46 +0100 Subject: move Dockerfile to root --- docker/Dockerfile | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 docker/Dockerfile (limited to 'docker') diff --git a/docker/Dockerfile b/docker/Dockerfile deleted file mode 100644 index c52c9bf..0000000 --- a/docker/Dockerfile +++ /dev/null @@ -1,11 +0,0 @@ -FROM alpine:3.12 - -RUN apk add --no-cache \ - bash \ - make \ - texlive \ - texmf-dist-latexextra - -WORKDIR /usr/src - -CMD ["make"] -- cgit v1.2.3