diff options
Diffstat (limited to 'doc/doc.mk')
| -rw-r--r-- | doc/doc.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/doc.mk b/doc/doc.mk new file mode 100644 index 0000000..059bd10 --- /dev/null +++ b/doc/doc.mk @@ -0,0 +1,10 @@ +DOC_BUILD_DIR := $(BUILD_DIR)/doc +DOCS := soundbox-documentation +PDF := $(DOCS:%=$(DOC_BUILD_DIR)/%.pdf) + +.PHONY: doc +doc: $(PDF) + +$(BUILD_DIR)/%.pdf: %.tex + mkdir -p $(dir $@) + pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $< |