From 62d68edfef3afaae315c020f20e0cc6ff7ad5719 Mon Sep 17 00:00:00 2001
From: xengineering <me@xengineering.eu>
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.
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2615d02..63f9e65 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 BUILD_DIR := ./build
+DATE := $(BUILD_DIR)/date.txt
 ARTIFACTS_DIR := $(BUILD_DIR)/artifacts
 VERSION := $(shell git describe --dirty --long --always)
 TARGET_NAME := soundbox-$(VERSION)
@@ -8,6 +9,9 @@ ARCHIVE := $(ARTIFACTS_DIR)/$(TARGET_NAME).tar.zst
 
 all: $(ARCHIVE) $(VERSIONED_DOC)
 
+$(DATE):
+	git show -s --format=%cs > $@
+
 $(ARCHIVE): $(TARGET_DIR)
 	tar --zstd -cf $@ -C $(ARTIFACTS_DIR) $(TARGET_NAME)
 
-- 
cgit v1.2.3-70-g09d2