diff options
Diffstat (limited to 'doc/makefile')
| -rw-r--r-- | doc/makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/makefile b/doc/makefile new file mode 100644 index 0000000..6baefea --- /dev/null +++ b/doc/makefile @@ -0,0 +1,31 @@ +# documents +DOCUMENT := pdi +BIBLIOGRAPHY := pdi + +# folder structure settings +BUILD_DIR := build + +# resources +SVGS := $(wildcard res/images/*.svg) +PDFS := $(patsubst %.svg,%.pdf,$(SVGS)) + +# compiler settings +TEX := lualatex +BIB := biber + +# recipes +.PHONY: all build clean +all: build + +build: $(PDFS) + mkdir -p $(BUILD_DIR) + $(TEX) --output-directory=$(BUILD_DIR) $(DOCUMENT) + $(BIB) --output-directory=$(BUILD_DIR) $(BIBLIOGRAPHY) + $(TEX) --output-directory=$(BUILD_DIR) $(DOCUMENT) + $(TEX) --output-directory=$(BUILD_DIR) $(DOCUMENT) + +$(PDFS): res/%.pdf: res/%.svg $(SVGS) + inkscape -z -D --file=$< --export-pdf=$@ + +clean: + rm $(BUILD_DIR)/* |