diff options
author | Camil Staps | 2016-09-18 17:26:01 +0200 |
---|---|---|
committer | Camil Staps | 2016-09-18 17:26:01 +0200 |
commit | 27ab4c00f504a044c1dbfef4dc44c62aec8b2b8f (patch) | |
tree | 82bca6e8c922cc1b0323bcce4e1788def64dab36 /Makefile |
Title page
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 $< $@ |