From: David Kastrup <dak@gnu.org>
Date: Wed, 1 Aug 2007 23:48:44 +0000 (+0200)
Subject: When generating manpages, delete outdated targets first.
X-Git-Tag: v1.5.3-rc4~10
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=50cff52f1a896118d5260c752900188e7d231cf6;p=git.git

When generating manpages, delete outdated targets first.

This makes "make doc" work even if you made "sudo make doc" previously
by mistake.  Apparently an oversight: the other targets did this already.

Signed-off-by: David Kastrup <dak@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 3bc5357ec..443114b04 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -120,6 +120,7 @@ clean:
 	mv $@+ $@
 
 %.1 %.5 %.7 : %.xml
+	$(RM) $@
 	xmlto -m callouts.xsl man $<
 
 %.xml : %.txt