diff options
| author | Werner Koch <[email protected]> | 2020-06-03 15:15:33 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2020-06-03 15:16:44 +0000 |
| commit | 5ade2b68db231c78d8ecca0eb21db2153da958d2 (patch) | |
| tree | d6329ed99ee973f6ae7c3b696aac38f7390f3243 | |
| parent | common: Add missing error code GPG_ERR_WRONG_NAME. (diff) | |
| download | gnupg-5ade2b68db231c78d8ecca0eb21db2153da958d2.tar.gz gnupg-5ade2b68db231c78d8ecca0eb21db2153da958d2.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 d47d83ede..ca13bcf2d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -182,6 +182,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 |