From e33e43e203643429b57e9436f46e707bcbd4f041 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Sat, 13 Oct 2018 19:56:13 +0200
Subject: [PATCH] Delete Dockerfile

---
 Dockerfile | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
deleted file mode 100644
index 5e465e5..0000000
--- a/Dockerfile
+++ /dev/null
@@ -1,17 +0,0 @@
-FROM ubuntu
-
-ENV PANDOC_VERSION "2.3.1"
-
-RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -yq --no-install-recommends \
-    texlive-latex-base \
-    texlive-full \
-        latexmk \
-        texlive-xetex \
-        texlive-latex-extra \
-        texlive-fonts-extra \
-        texlive-bibtex-extra \
-        fontconfig \
-        lmodern wget build-essential graphviz
-
-RUN wget https://github.com/jgm/pandoc/releases/download/2.3.1/pandoc-${PANDOC_VERSION}-1-amd64.deb -O /pandoc.deb \
-        && dpkg -i /pandoc.deb && rm /pandoc.deb