update tlmgr

This commit is contained in:
Jörn-Michael Miehe 2025-05-06 10:33:23 +00:00
parent c8931beff6
commit eda145186d
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 \