diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5449d07a9..a1a570c38 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -136,7 +136,7 @@ dist-hook: defsincdate defsincdate: $(gnupg_TEXINFOS) : >defsincdate ; \ - if test -d $(top_srcdir)/.git; then \ + if test -e $(top_srcdir)/.git; then \ (cd $(srcdir) && git log -1 --format='%ct' \ -- $(gnupg_TEXINFOS) 2>/dev/null) >>defsincdate; \ fi |