1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-09-20 14:51:42 +02:00

build: Fix make distclean for gnupg.7.html

--
This commit is contained in:
Werner Koch 2024-09-11 14:51:35 +02:00
parent c6f195821c
commit 6f2180e912
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B

View File

@ -103,7 +103,7 @@ watchgnupg_SOURCE = gnupg.texi
CLEANFILES = mkdefsinc defs.inc
DISTCLEANFILES = gnupg.tmp gnupg.ops yat2m-stamp.tmp yat2m-stamp \
$(myman_pages) gnupg.7 $(myhtmlman_pages)
$(myman_pages) gnupg.7 gnupg.7.html $(myhtmlman_pages)
mkdefsinc: mkdefsinc.c Makefile ../config.h
$(CC_FOR_BUILD) -I. -I.. -I$(srcdir) $(AM_CPPFLAGS) \
@ -148,7 +148,7 @@ yat2m-stamp: $(myman_sources) defs.inc
@mv -f yat2m-stamp.tmp $@
$(myman_pages) gnupg.7 : yat2m-stamp defs.inc
$(myman_pages) $(myhtmlman_pages) gnupg.7 gnupg.7.html : 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 \