diff options
Diffstat (limited to 'appimage/Dockerfile')
-rw-r--r-- | appimage/Dockerfile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/appimage/Dockerfile b/appimage/Dockerfile index c607ca21..51221908 100644 --- a/appimage/Dockerfile +++ b/appimage/Dockerfile @@ -1,11 +1,13 @@ -FROM ubuntu:16.04 +FROM ubuntu:18.04 +ENV DEBIAN_FRONTEND=noninteractive RUN apt-get update && \ apt-get -y install screen autoconf git sudo \ build-essential zlib1g-dev libjpeg-dev libgnutls28-dev \ - docbook-xsl fop xsltproc \ + python3-pip texlive-latex-extra latexmk \ inkscape imagemagick busybox-static wget fuse && \ apt-get clean && \ rm -rf /var/lib/apt/lists/* +RUN pip3 install sphinx COPY entrypoint /entrypoint RUN chmod +x /entrypoint ENTRYPOINT [ "/entrypoint" ] |