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 +- doc/documentation.tex | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'doc') 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) $< diff --git a/doc/documentation.tex b/doc/documentation.tex index a6ba82b..6448186 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -1,6 +1,7 @@ \documentclass{report} \author{xengineering} \title{soundbox documentation} +\date{\input{../date.txt}} \usepackage{graphicx} \graphicspath{ {./diagrams/} } -- cgit v1.2.3-70-g09d2