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
..
branches--	Redo the templates generation and installation.	2005-08-06 13:49:26 -07:00
hooks--post-update
hooks--update
info--exclude	Redo the templates generation and installation.	2005-08-06 13:49:26 -07:00
Makefile	[PATCH] Use $DESTDIR instead of $dest	2005-08-12 10:38:23 -07:00
this--description	Redo the templates generation and installation.	2005-08-06 13:49:26 -07:00