diff options
| author | Martin Waitz <tali@admingilde.org> | 2006-05-25 16:37:46 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-05-26 09:48:45 +0400 |
| commit | c53603249c8fc8ee5e12710087e7287eb6dda5f6 (patch) | |
| tree | 4ca505d621bebcc65051522ffd69abe25907f615 /Makefile | |
| parent | e49289dfb788ce47af2939621540fa97abe318ae (diff) | |
Documentation/Makefile: remove extra /
As both DESTDIR and the prefix are supposed to be absolute pathnames
they can simply be concatenated without an extra / (like in the main Makefile).
The extra slash may even break installation on Windows.
[jc: adjusted an earlier workaround for this problem in the dist-doc
target in the main Makefile as well. ]
Signed-off-by: Martin Waitz <tali@admingilde.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -680,7 +680,7 @@ dist-doc: : rm -fr .doc-tmp-dir mkdir .doc-tmp-dir .doc-tmp-dir/man1 .doc-tmp-dir/man7 - $(MAKE) -C Documentation DESTDIR=. \ + $(MAKE) -C Documentation DESTDIR=./ \ man1=../.doc-tmp-dir/man1 \ man7=../.doc-tmp-dir/man7 \ install |