author | Petr Baudis <pasky@suse.cz> | |
Thu, 4 Aug 2005 23:56:38 +0000 (01:56 +0200) | ||
committer | Junio C Hamano <junkio@cox.net> | |
Fri, 12 Aug 2005 17:38:23 +0000 (10:38 -0700) | ||
commit | a682ef9f06075b4bb83dcf479c91d578125084b9 | |
tree | 2d9999f8bcbb038fbf8837eceb0d6da076e33351 | tree | snapshot |
parent | b05701c5b4c7983ef04d8c286c65089596553bd6 | commit | diff |
[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>
$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 | diff | blob | history | |
Makefile | diff | blob | history | |
templates/Makefile | diff | blob | history | |
tools/Makefile | diff | blob | history |