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 /Documentation/diff-options.txt | |
| 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 'Documentation/diff-options.txt')
0 files changed, 0 insertions, 0 deletions