![[tokkee]](http://tokkee.org/images/avatar.png){kind=avatar}
| author | David Kastrup <dak@gnu.org> | |
| Wed, 1 Aug 2007 23:48:44 +0000 (01:48 +0200) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Thu, 2 Aug 2007 02:52:17 +0000 (19:52 -0700) | ||
| commit | 50cff52f1a896118d5260c752900188e7d231cf6 | |
| tree | 3f7fee47b9332133bdf3c4358dbe9691ce4368f2 | tree | snapshot |
| parent | c9e6589288b09f4e631c7f12f0f9a77c29851632 | commit | 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>
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 | history |