diff options
author | David Kastrup <dak@gnu.org> | 2007-08-06 17:05:56 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-08-11 10:50:00 +0400 |
commit | f9286765b2c409e5b88efe8c20a2634d6842bc5f (patch) | |
tree | 31e211cc6e030e66a6c9ae3fc928e943c064a74b /Documentation/Makefile | |
parent | 55d1932bce99d83fa0d891331fe3f3562d33af2e (diff) |
Documentation/Makefile: remove cmd-list.made before redirecting to it.
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>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 76a15ff520..fbefe9a45b 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -119,6 +119,7 @@ cmds_txt = cmds-ancillaryinterrogators.txt \ $(cmds_txt): cmd-list.made cmd-list.made: cmd-list.perl $(MAN1_TXT) + $(RM) $@ perl ./cmd-list.perl date >$@ |