[PATCH] Use $DESTDIR instead of $dest
commita682ef9f06075b4bb83dcf479c91d578125084b9
authorPetr Baudis <pasky@suse.cz>
Thu, 4 Aug 2005 23:56:38 +0000 (5 01:56 +0200)
committerJunio C Hamano <junkio@cox.net>
Fri, 12 Aug 2005 17:38:23 +0000 (12 10:38 -0700)
tree2d9999f8bcbb038fbf8837eceb0d6da076e33351
parentb05701c5b4c7983ef04d8c286c65089596553bd6
[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>
Documentation/Makefile
Makefile
templates/Makefile
tools/Makefile