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