add IN_DOCKER
target
This commit is contained in:
parent
e97fd215e5
commit
e1f6e29dc5
@ -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 $<
|
||||
|
Loading…
Reference in New Issue
Block a user