From b0cecf990eb553d2d367d8dfb4387f8a403cb4f3 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 18 Aug 2019 17:01:19 +0100
Subject: [PATCH] Install PDF viewer.

---
 isabelle_dof/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isabelle_dof/Dockerfile b/isabelle_dof/Dockerfile
index e3b9b0e..17cd7f1 100644
--- a/isabelle_dof/Dockerfile
+++ b/isabelle_dof/Dockerfile
@@ -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