Re: [PATCH] Use $DESTDIR instead of $dest

2005-08-09 Thread Petr Baudis
Dear diary, on Sat, Aug 06, 2005 at 01:17:17AM CEST, I got a letter where Junio C Hamano [EMAIL PROTECTED] told me that... Petr Baudis [EMAIL PROTECTED] writes: $DESTDIR is more usual during the build than $dest and is what is usually used in the makefiles, so let's use it too. While I

[PATCH] Use $DESTDIR instead of $dest

2005-08-04 Thread Petr Baudis
$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 [EMAIL PROTECTED] --- This updates the subdirectory Makefiles as well. commit aef274d1fc04d848c7355a68c3e48c0b2b5400cb tree