diff options
| author |  Junio C Hamano <junkio@cox.net> | 2005-07-22 19:09:20 -0700 |
|---|---|---|
| committer |  Linus Torvalds <torvalds@g5.osdl.org> | 2005-07-22 20:34:16 -0700 |
| commit | 8cc393068aedc7378166ccc013d3954cd87f0deb (patch) | |
| tree | e01fed085f595dfda06fda1d9c3b263000ffcb8c /Documentation/git-local-pull.txt | |
| parent | [PATCH] Audit rev-parse users. (diff) | |
| download | tgif-8cc393068aedc7378166ccc013d3954cd87f0deb.tar.xz | |
[PATCH] Install tools with "make install-tools".
Match the main Makefile by separating COPTS from CFLAGS,
defining INSTALL, prefix, and bin. Add a new target 'install-tools'
to the main Makefile to install them.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-local-pull.txt')
0 files changed, 0 insertions, 0 deletions