a5booklet
Manipulate .dvi files
RUN apt-get update && \
apt-get install -y dvidvi
RUN apt-get update && \
apt-get install -y dvidvi
RUN apt-get update && \
apt-get install -y dvidvi
RUN apt-get update && \
apt-get install -y dvidvi