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 $<