mirror of
git://git.gnupg.org/gnupg.git
synced 2025-02-22 19:58:29 +01:00
doc: Do not install gnupg.7.html into usr/share/man/manh/
* doc/Makefile.am: Ship gnupg.7.html with other html, not with manpages. -- Without this change, gnupg.7.html gets placed in /usr/share/manh/ Since it can't be correctly rendered by groff, this is undesirable. Signed-off-by: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
This commit is contained in:
parent
70049e5f16
commit
503c9e3451
@ -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 = 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)
|
||||
|
||||
mkdefsinc: mkdefsinc.c Makefile ../config.h
|
||||
$(CC_FOR_BUILD) -I. -I.. -I$(srcdir) $(AM_CPPFLAGS) \
|
||||
@ -148,7 +149,7 @@ yat2m-stamp: $(myman_sources) defs.inc
|
||||
@mv -f yat2m-stamp.tmp $@
|
||||
|
||||
|
||||
$(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 \
|
||||
|
Loading…
x
Reference in New Issue
Block a user