]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55d1932) | patch
Documentation/Makefile: remove cmd-list.made before redirecting to it.
authorDavid Kastrup <dak@gnu.org>
Mon, 6 Aug 2007 13:05:56 +0000 (15:05 +0200)
committerJunio C Hamano <gitster@pobox.com>
Sat, 11 Aug 2007 06:50:00 +0000 (23:50 -0700)
commitf9286765b2c409e5b88efe8c20a2634d6842bc5f
tree31e211cc6e030e66a6c9ae3fc928e943c064a74btree | snapshot
parent55d1932bce99d83fa0d891331fe3f3562d33af2ecommit | 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>
Documentation/Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.