diff options
Diffstat (limited to '36c3/Replicant_introduction/Makefile')
-rw-r--r-- | 36c3/Replicant_introduction/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/36c3/Replicant_introduction/Makefile b/36c3/Replicant_introduction/Makefile new file mode 100644 index 0000000..f363450 --- /dev/null +++ b/36c3/Replicant_introduction/Makefile @@ -0,0 +1,23 @@ +TEXFLAGS ?= -halt-on-error -output-format pdf -output-directory output +TITLE = Replicant_introduction +IMAGES := \ + output/i9300_hardware.png \ + +.PHONY: all clean test medias +all: output/$(TITLE).pdf + +output: + mkdir -p output + +output/$(TITLE).pdf: output $(TITLE).tex $(IMAGES) + pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' + pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}' + +output/%.png: dot/%.dot output + dot -T png $< > $@ + +output/i9300_hardware.png: images/i9300_hardware.svg + convert $< $@ + +clean: + rm -rf output |