diff options
author | David Kastrup <dak@gnu.org> | 2007-08-06 15:05:56 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-08-10 23:50:00 -0700 |
commit | f9286765b2c409e5b88efe8c20a2634d6842bc5f (patch) | |
tree | 31e211cc6e030e66a6c9ae3fc928e943c064a74b /Documentation | |
parent | Merge branch 'cr/tag' (diff) | |
download | tgif-f9286765b2c409e5b88efe8c20a2634d6842bc5f.tar.xz |
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')
-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 >$@ |