From 074ab108e768b2f946d789c1f3a7f14a65e07c52 Mon Sep 17 00:00:00 2001
From: Werner Koch <wk@gnupg.org>
Date: Wed, 3 Jun 2020 17:15:33 +0200
Subject: [PATCH] doc: Minor enhancement for reproducibility.

* doc/Makefile.am (defsincdate): In no repo mode and with
SOURCE_DATE_EPOCH set, use that instead of blanking the date.
--

GnuPG-bug-id: 4947
---
 doc/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 541c2fc20..6a0e39cf4 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -177,6 +177,8 @@ defsincdate: $(gnupg_TEXINFOS)
 	if test -e $(top_srcdir)/.git; then \
 	  (cd $(srcdir) && git log -1 --format='%ct' \
                -- $(gnupg_TEXINFOS) 2>/dev/null) >>defsincdate; \
+        elif test x"$SOURCE_DATE_EPOCH" != x; then   \
+	   echo "$SOURCE_DATE_EPOCH" >>defsincdate ; \
 	fi
 
 defs.inc : defsincdate Makefile mkdefsinc