git/Documentation
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
..
2005-06-19 20:13:18 -07:00
2005-08-09 22:28:23 -07:00
2005-08-03 17:16:30 -07:00
2005-07-15 14:57:09 -07:00
2005-08-09 22:28:23 -07:00
2005-08-12 10:38:23 -07:00
2005-08-01 13:27:08 -07:00