diff options
| -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 f722980f..7b629bc3 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -40,7 +40,7 @@ mkdefsinc: mkdefsinc.c Makefile $(top_builddir)/conf/config.h dist-hook: defsincdate -defsincdate: $(gpgme_TEXINFOS) +defsincdate: $(gpgme_TEXINFOS) $(info_TEXINFOS) : >defsincdate ; \ if test -e $(top_srcdir)/.git; then \ (cd $(srcdir) && git log -1 --format='%ct' -- \ |