diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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) |