projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e49289d) | patch
Documentation/Makefile: remove extra /
authorMartin Waitz <tali@admingilde.org>
Thu, 25 May 2006 12:37:46 +0000 (14:37 +0200)
committerJunio C Hamano <junkio@cox.net>
Fri, 26 May 2006 05:48:45 +0000 (22:48 -0700)
commitc53603249c8fc8ee5e12710087e7287eb6dda5f6
tree4ca505d621bebcc65051522ffd69abe25907f615tree | snapshot
parente49289dfb788ce47af2939621540fa97abe318aecommit | 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>
Documentation/Makefile diff | blob | history
Makefile diff | blob | history
The core git plumbing