Merge branch 'release/0.8.2'

This commit is contained in:
Jörn-Michael Miehe 2025-05-06 10:33:57 +00:00
commit b7e1f15406
2 changed files with 4 additions and 0 deletions

View file

@ -9,6 +9,8 @@ RUN set -ex; \
make \ make \
; \ ; \
\ \
tlmgr update --self; \
\
tlmgr install \ tlmgr install \
kpfonts \ kpfonts \
lastpage \ lastpage \

View file

@ -10,6 +10,8 @@ RUN set -ex; \
make \ make \
; rm -rf /var/lib/apt/lists/*; \ ; rm -rf /var/lib/apt/lists/*; \
\ \
tlmgr update --self; \
\
tlmgr install \ tlmgr install \
kpfonts \ kpfonts \
lastpage \ lastpage \