Installs make4ht from source (#347)

* Installs make4ht from source

* Fix dir
This commit is contained in:
Hendrik Kleinwaechter
2024-04-11 16:02:59 +02:00
committed by GitHub
parent b4ee25dd39
commit bf4456ca80

View File

@@ -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