diff options
| author | Petr Baudis <pasky@suse.cz> | 2005-08-05 01:56:38 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-12 10:38:23 -0700 |
| commit | a682ef9f06075b4bb83dcf479c91d578125084b9 (patch) | |
| tree | 2d9999f8bcbb038fbf8837eceb0d6da076e33351 /Documentation | |
| parent | b05701c5b4c7983ef04d8c286c65089596553bd6 (diff) | |
| download | git-a682ef9f06075b4bb83dcf479c91d578125084b9.tar.gz | |
[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>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 4798933a49..c887ded6af 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -11,6 +11,7 @@ bin=$(prefix)/bin mandir=$(prefix)/man man1=$(mandir)/man1 man7=$(mandir)/man7 +# DESTDIR= INSTALL=install @@ -33,9 +34,9 @@ man1: $(DOC_MAN1) man7: $(DOC_MAN7) install: - $(INSTALL) -m755 -d $(dest)/$(man1) $(dest)/$(man7) - $(INSTALL) $(DOC_MAN1) $(dest)/$(man1) - $(INSTALL) $(DOC_MAN7) $(dest)/$(man7) + $(INSTALL) -m755 -d $(DESTDIR)/$(man1) $(DESTDIR)/$(man7) + $(INSTALL) $(DOC_MAN1) $(DESTDIR)/$(man1) + $(INSTALL) $(DOC_MAN7) $(DESTDIR)/$(man7) # 'include' dependencies git-diff-%.txt: diff-format.txt diff-options.txt |