diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7908277 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +PRE:=docker.pdf +DEPS:=moby.png + +TEX:=pdflatex +TEXFLAGS:=-file-line-error -no-shell-escape + +all: $(PRE) + +%.pdf: %.tex $(DEPS) + $(TEX) $(TEXFLAGS) -jobname=$(basename $@) $< &&\ + $(TEX) $(TEXFLAGS) -jobname=$(basename $@) $< + +%.png: %.svg + convert $< $@ |