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' -- \