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 3bc5357ec93039122df3e7b423d9fae4a804da7c..443114b0463e9c9ca7e99720e78d938049a1ea4b 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -120,6 +120,7 @@ clean:
        mv $@+ $@
 
 %.1 %.5 %.7 : %.xml
+       $(RM) $@
        xmlto -m callouts.xsl man $<
 
 %.xml : %.txt