Merge branch 'release/0.7.1'

This commit is contained in:
Jörn-Michael Miehe 2024-04-23 01:25:36 +02:00
commit bbec02ddcc

View file

@ -7,6 +7,12 @@ RUN set -ex; \
ghostscript \
inotify-tools \
make \
; \
\
tlmgr install \
kpfonts \
lastpage \
latexmk \
;
COPY src/usr /usr