summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index aaa9119..37cff96 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,9 @@
PRE:=docker.pdf
-DEPS:=moby.pdf
+DEPS:=moby.pdf $(wildcard examples/*/Dockerfile)
AUX:=moby.svg
TEX:=pdflatex
-TEXFLAGS:=-file-line-error -no-shell-escape
+TEXFLAGS:=-file-line-error -shell-escape
all: $(PRE)