From 3258e1fd6793c0bc3a6edace5a45639f3759ad61 Mon Sep 17 00:00:00 2001
From: Ben Hoff <hoff.benjamin.k@gmail.com>
Date: Wed, 25 Dec 2019 03:36:46 -0500
Subject: [PATCH] fix dockerfile for PDF (#939)

---
 Dockerfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 4b2a04484adf..67ca4582bdb7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -133,6 +133,11 @@ RUN apt-get update && \
         echo export "GIT_SSH_COMMAND=\"ssh -o StrictHostKeyChecking=no -o ConnectTimeout=30 -o ProxyCommand='nc -X 5 -x ${socks_proxy} %h %p'\"" >> ${HOME}/.bashrc; \
     fi
 
+# Install poppler for working with pdfs
+RUN apt-get update && \
+    apt install -y poppler-utils && \
+    rm -rf /var/lib/apt/lists/*
+
 # CUDA support
 ARG CUDA_SUPPORT
 ENV CUDA_SUPPORT=${CUDA_SUPPORT}