Delete Dockerfile

This commit is contained in:
Valentin Brandl 2018-10-13 19:56:13 +02:00
parent 99e60aa1d9
commit e33e43e203
No known key found for this signature in database
GPG Key ID: 30D341DD34118D7D

View File

@ -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