Installs make4ht from source (#347)

* Installs make4ht from source * Fix dir
hendricius · Apr 11, 2024 · bf4456c · bf4456c
1 parent b4ee25d
commit bf4456c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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