From 52b4c4f44b70399010896115b527894c0e58c1ed Mon Sep 17 00:00:00 2001 From: Horea Christian Date: Tue, 22 Aug 2023 10:40:01 -0400 Subject: [PATCH] Providing diff-pdf for LaTeX image --- code/bindist/diff-pdf | 1 + code/images/Containerfile.latex | 10 ++++++++-- 2 files changed, 9 insertions(+), 2 deletions(-) create mode 100755 code/bindist/diff-pdf diff --git a/code/bindist/diff-pdf b/code/bindist/diff-pdf new file mode 100755 index 00000000..2bd1dfce --- /dev/null +++ b/code/bindist/diff-pdf @@ -0,0 +1 @@ +/annex/objects/MD5E-s183920--d447dbd1658fc8cbf35a223de65c61bd diff --git a/code/images/Containerfile.latex b/code/images/Containerfile.latex index e6817796..8296a415 100644 --- a/code/images/Containerfile.latex +++ b/code/images/Containerfile.latex @@ -11,8 +11,14 @@ RUN apt-get update -q && apt-get install -qy \ RUN tlmgr install \ sourceserifpro -RUN wget https://github.com/vslavik/diff-pdf.git -RUN cd diff-pdf; ./bootstrap; ./configure; make; make install +#RUN apt-get install -qy \ +# automake \ +# wget \ +# zathura-pdf-poppler +# RUN git clone https://github.com/vslavik/diff-pdf.git +#RUN wget https://github.com/vslavik/diff-pdf/archive/refs/tags/v0.5.1.tar.gz; tar xvf v0.5.1.tar.gz +#RUN cd diff-pdf-0.5.1; ./bootstrap; ./configure; make; make install +COPY code/bindist/diff-pdf /usr/bin/diff-pdf ENV HOME /data WORKDIR /data