From 62d68edfef3afaae315c020f20e0cc6ff7ad5719 Mon Sep 17 00:00:00 2001 From: xengineering Date: Sat, 27 Jan 2024 22:25:30 +0100 Subject: doc: Use Git-provided commit date for PDF Using the date of the build makes it not-reproducible. This should be avoided. Furthermore the date on the front page should anyway reflect when the source of the document was created. Not when it was converted into a PDF. --- 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 351cd48..11571b6 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) +$(DOC_BUILD_DIR)/%.pdf: doc/%.tex $(IMAGES) $(DATE) 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