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/.gitignore | |
| 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/.gitignore')
0 files changed, 0 insertions, 0 deletions