Mirek Kratochvil e3b2307061 explicitly add latexmk to docker ... closes #12		2023-07-10 18:04:41 +02:00
..
Dockerfile	explicitly add latexmk to docker	2023-07-10 18:04:41 +02:00