From 5b6cfef62092ff22c1c68db286eb2e4edd8611db Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Mon, 8 Jun 2020 18:45:55 +0200 Subject: build: Fix recent commit for SOURCE_DATE_EPOCH. -- Fixes-commit: 5ade2b68db231c78d8ecca0eb21db2153da958d2 which was recently pushed to make use of $SOURCE_DATE_EPOCH as fallback. (cherry picked from commit 61bb75d045a3709d1cba0084c95e991dfd52c8ee) Signed-off-by: Werner Koch --- doc/Makefile.am | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index ca13bcf2d..3a2c1c2eb 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -182,8 +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 ; \ + elif test x"$$SOURCE_DATE_EPOCH" != x; then \ + echo "$$SOURCE_DATE_EPOCH" >>defsincdate ; \ fi defs.inc : defsincdate Makefile mkdefsinc -- cgit v1.2.3