dvi2dvi
Tweak DVI files
RUN apt-get update && \
apt-get install -y dvi2dvi
RUN apt-get update && \
apt-get install -y dvi2dvi
RUN apt-get update && \
apt-get install -y dvi2dvi
RUN apt-get update && \
apt-get install -y dvi2dvi