chiark / gitweb /
asshelp.c: add a lot of debug logging
[gnupg2.git] / doc / Makefile.am
index 0c2f2c9dc4d4dc1b704e3f6e5c303e5da89f5d9c..65b941ca7c54ffb7f7637ed2a0478430bc8cf6d5 100644 (file)
@@ -167,13 +167,6 @@ $(myman_pages) gnupg.7 : yat2m-stamp defs.inc
 
 dist-hook: defsincdate
 
-defsincdate: $(gnupg_TEXINFOS)
-       : >defsincdate ; \
-       if test -e $(top_srcdir)/.git; then \
-         (cd $(srcdir) && git log -1 --format='%ct' \
-               -- $(gnupg_TEXINFOS) 2>/dev/null) >>defsincdate; \
-       fi
-
 defs.inc : defsincdate Makefile mkdefsinc
        incd="`test -f defsincdate || echo '$(srcdir)/'`defsincdate"; \
        ./mkdefsinc -C $(srcdir) --date "`cat $$incd 2>/dev/null`" \