From 57e12bcf9aafcd6bea41e895e14fdd2e6f6d8479 Mon Sep 17 00:00:00 2001 From: xengineering Date: Tue, 30 Jan 2024 20:40:35 +0100 Subject: doc: Add version information to PDF title page Since otherwise the Git describe output / version information is only embedded into the file name the risk is given that Git version information is lost by renaming the file. --- doc/doc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/doc.mk') diff --git a/doc/doc.mk b/doc/doc.mk index 11571b6..8994824 100644 --- a/doc/doc.mk +++ b/doc/doc.mk @@ -9,7 +9,7 @@ IMAGES := $(DIAGRAMS:%=$(DIAGRAMS_BUILD_DIR)/%.pdf) .PHONY: doc doc: $(DOCUMENTS) -$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) +$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) $(VERSION_FILE) mkdir -p $(dir $@) pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $< pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $< -- cgit v1.2.3-70-g09d2