diff options
| author | Werner Koch <[email protected]> | 2017-07-05 08:49:13 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2017-07-05 09:01:36 +0000 |
| commit | f6faa058749846de18cb34f1cc79867bb0029922 (patch) | |
| tree | 2e385e6a34fc3f0c88137ab9ad9aa2dbe165a0a4 /doc | |
| parent | doc: Document obsolete option in gpgsm. Closes T2231. (diff) | |
| download | gnupg-f6faa058749846de18cb34f1cc79867bb0029922.tar.gz gnupg-f6faa058749846de18cb34f1cc79867bb0029922.zip | |
doc: Prefer an installed version of yat2m
* configure.ac (YAT2M): Check for tool.
* doc/Makefile.am (yat2m-stamp): Use installed tool if possible.
--
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0c7828497..1fa04b412 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -146,12 +146,12 @@ yat2m-stamp: $(myman_sources) defs.inc @touch yat2m-stamp.tmp incd="`test -f defsincdate || echo '$(srcdir)/'`defsincdate"; \ for file in $(myman_sources) ; do \ - ./yat2m $(YAT2M_OPTIONS) --store \ + $(YAT2M) $(YAT2M_OPTIONS) --store \ --date "`cat $$incd 2>/dev/null`" \ `test -f '$$file' || echo '$(srcdir)/'`$$file ; done @mv -f yat2m-stamp.tmp $@ -yat2m-stamp: yat2m +yat2m-stamp: $(YAT2M) $(myman_pages) gnupg.7 : yat2m-stamp defs.inc @if test -f $@; then :; else \ |