lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Install PDF viewer.
lh-docker/lh-docker-isabelle/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-18 17:01:19 +01:00
parent 95ec2a3f0c
commit b0cecf990e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
isabelle_dof/Dockerfile
View File

@ -36,7 +36,7 @@ SHELL ["/bin/bash", "-c"]
WORKDIR /home/isabelle
USER root
RUN apt-get -y update && apt-get install -y imagemagick && \
RUN apt-get -y update && apt-get install -y imagemagick evince && \
apt-get clean && \
rm -rf /usr/share/doc