git.ipfire.org Git - thirdparty/git.git/commit

]> git.ipfire.org Git - thirdparty/git.git/commit - Makefile

projects / thirdparty / git.git / commit

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>

Documentation/Makefile		diff \| blob \| blame \| history
Makefile		diff \| blob \| blame \| history
templates/Makefile		diff \| blob \| blame \| history
tools/Makefile		diff \| blob \| blame \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom