diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/docs/makefile b/docs/makefile new file mode 100644 index 0000000..3cee7e4 --- /dev/null +++ b/docs/makefile @@ -0,0 +1,30 @@ +# 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) + $(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 -i $(BUILD_DIR)/* |