diff options
| author | Werner Koch <[email protected]> | 2020-06-03 15:15:33 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2020-06-03 15:15:33 +0000 |
| commit | 074ab108e768b2f946d789c1f3a7f14a65e07c52 (patch) | |
| tree | 14ceb7420f3b838373cb53e8fcee9a99dfad7b18 | |
| parent | card: Improve openpgp key writing in "writecert". (diff) | |
| download | gnupg-074ab108e768b2f946d789c1f3a7f14a65e07c52.tar.gz gnupg-074ab108e768b2f946d789c1f3a7f14a65e07c52.zip | |
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
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
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 |