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 /tree.c | |
| parent | 55d1932bce99d83fa0d891331fe3f3562d33af2e (diff) | |
| download | git-f9286765b2c409e5b88efe8c20a2634d6842bc5f.tar.gz git-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 'tree.c')
0 files changed, 0 insertions, 0 deletions