Petr Baudis a682ef9f06 [PATCH] Use $DESTDIR instead of $dest ...

$DESTDIR is more usual during the build than $dest and is what
is usually used in the makefiles, so let's use it too.

Signed-off-by: Petr Baudis <pasky@ucw.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>

2005-08-12 10:38:23 -07:00

..

git-applymbox

git-applymbox: allow retrying after fixing up.

2005-08-05 01:39:15 -07:00

git-applypatch

Rename the "tools" programs to also have the "git-" prefix

2005-07-23 18:46:27 -07:00

mailinfo.c

[PATCH] Fix sparse warnings

2005-08-03 21:41:56 -07:00

mailsplit.c

Small typofix in mailsplit.c

2005-08-09 22:28:20 -07:00

Makefile

[PATCH] Use $DESTDIR instead of $dest

2005-08-12 10:38:23 -07:00