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.
---
 doc/documentation.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/documentation.tex')

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

