projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9e6589) | patch
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
tree3f7fee47b9332133bdf3c4358dbe9691ce4368f2tree | snapshot
parentc9e6589288b09f4e631c7f12f0f9a77c29851632commit | diff
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 diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.