When generating manpages, delete outdated targets first.
authorDavid Kastrup <dak@gnu.org>
Wed, 1 Aug 2007 23:48:44 +0000 (01:48 +0200)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Aug 2007 02:52:17 +0000 (19:52 -0700)
commit50cff52f1a896118d5260c752900188e7d231cf6
tree3f7fee47b9332133bdf3c4358dbe9691ce4368f2
parentc9e6589288b09f4e631c7f12f0f9a77c29851632
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>
Documentation/Makefile