diff --git a/Dockerfile b/Dockerfile index 1f82e54d..73abd0f7 100644 --- a/Dockerfile +++ b/Dockerfile @@ -55,6 +55,11 @@ RUN wget https://github.com/mgieseki/dvisvgm/releases/download/3.1.2/dvisvgm-3.1 make && \ make install +RUN git clone https://github.com/michal-h21/make4ht.git && \ + cd make4ht && \ + make && \ + make install + # Make sure everything is UTF-8 RUN echo "export LC_ALL=en_US.UTF-8" >> /root/.bashrc && \ echo "export LANG=en_US.UTF-8" >> /root/.bashrc