chiark
/
gitweb
/
~ian
/
gnupg2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
dirmngr: New debug message on correctly initialized libdns.
[gnupg2.git]
/
doc
/
Makefile.am
diff --git
a/doc/Makefile.am
b/doc/Makefile.am
index 0c2f2c9dc4d4dc1b704e3f6e5c303e5da89f5d9c..65b941ca7c54ffb7f7637ed2a0478430bc8cf6d5 100644
(file)
--- a/
doc/Makefile.am
+++ b/
doc/Makefile.am
@@
-167,13
+167,6
@@
$(myman_pages) gnupg.7 : yat2m-stamp defs.inc
dist-hook: defsincdate
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`" \
defs.inc : defsincdate Makefile mkdefsinc
incd="`test -f defsincdate || echo '$(srcdir)/'`defsincdate"; \
./mkdefsinc -C $(srcdir) --date "`cat $$incd 2>/dev/null`" \