From 49fe0ebda0fcd5cdfebd2e6e95ddd5cd68a11362 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rn-Michael=20Miehe?= <jmmiehe@gmx.de>
Date: Tue, 23 Apr 2024 01:25:21 +0200
Subject: [PATCH] add some TeXlive content

---
 Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index e965a61..faacd0c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,6 +7,12 @@ RUN set -ex; \
       ghostscript \
       inotify-tools \
       make \
+    ; \
+    \
+    tlmgr install \
+      kpfonts \
+      lastpage \
+      latexmk \
     ;
 
 COPY src/usr /usr