diff options
| -rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5d55767cd..6889bda1e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -93,9 +93,10 @@ myhtmlman_pages = \ gpgtar.1.html gpg-mail-tube.1.html \ applygnupgdefaults.8.html gpg-wks-client.1.html \ gpg-wks-server.1.html \ - dirmngr-client.1.html gpg-card.1.html gpg-check-pattern.1.html + dirmngr-client.1.html gpg-card.1.html gpg-check-pattern.1.html \ + gnupg.7.html -man_MANS = $(myman_pages) gnupg.7 gnupg.7.html +man_MANS = $(myman_pages) gnupg.7 watchgnupg_SOURCE = gnupg.texi @@ -103,7 +104,7 @@ watchgnupg_SOURCE = gnupg.texi CLEANFILES = yat2m mkdefsinc defs.inc DISTCLEANFILES = gnupg.tmp gnupg.ops yat2m-stamp.tmp yat2m-stamp \ - $(myman_pages) gnupg.7 gnupg.7.html $(myhtmlman_pages) + $(myman_pages) gnupg.7 $(myhtmlman_pages) yat2m: yat2m.c $(CC_FOR_BUILD) -o $@ $(srcdir)/yat2m.c @@ -152,7 +153,7 @@ yat2m-stamp: $(myman_sources) defs.inc yat2m-stamp: $(YAT2M) -$(myman_pages) $(myhtmlman_pages) gnupg.7 gnupg.7.html : yat2m-stamp defs.inc +$(myman_pages) $(myhtmlman_pages) gnupg.7 : yat2m-stamp defs.inc @if test -f $@; then :; else \ trap 'rm -rf yat2m-stamp yat2m-lock' 1 2 13 15; \ if mkdir yat2m-lock 2>/dev/null; then \ |