diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6a0e39cf4..65105139e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -177,8 +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 ; \ + elif test x"$$SOURCE_DATE_EPOCH" != x; then \ + echo "$$SOURCE_DATE_EPOCH" >>defsincdate ; \ fi defs.inc : defsincdate Makefile mkdefsinc |