From e1f6e29dc547967e04be213ddd4b6194f10b68f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= Date: Mon, 23 Sep 2019 10:48:55 +0300 Subject: [PATCH] add `IN_DOCKER` target --- MTM/task2-PossibleMsc/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/MTM/task2-PossibleMsc/Makefile b/MTM/task2-PossibleMsc/Makefile index 2157c2f..b37215c 100644 --- a/MTM/task2-PossibleMsc/Makefile +++ b/MTM/task2-PossibleMsc/Makefile @@ -1,2 +1,6 @@ +ifdef IN_DOCKER +toolshed = docker run --rm -v $(PWD):/x -w /x motiejus/toolshed +endif + report.pdf: report.tex - latexmk $< + $(toolshed) latexmk $<