a682ef9f06
$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> |
||
---|---|---|
.. | ||
branches-- | ||
hooks--post-update | ||
hooks--update | ||
info--exclude | ||
Makefile | ||
this--description |