summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 55d1932)
raw | patch | inline | side by side (parent: 55d1932)
author | David Kastrup <dak@gnu.org> | |
Mon, 6 Aug 2007 13:05:56 +0000 (15:05 +0200) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Sat, 11 Aug 2007 06:50:00 +0000 (23:50 -0700) |
If cmd-list.made has been created by a previous run as root, output
redirection to it will fail. So remove it before regeneration.
Signed-off-by: David Kastrup <dak@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
redirection to it will fail. So remove it before regeneration.
Signed-off-by: David Kastrup <dak@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile | patch | blob | history |
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 76a15ff520fe444fe41c46dc17cac7b5df7731d5..fbefe9a45b00a54b58d94d06eca48b03d40a50e0 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
$(cmds_txt): cmd-list.made
cmd-list.made: cmd-list.perl $(MAN1_TXT)
+ $(RM) $@
perl ./cmd-list.perl
date >$@