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
tree4ca505d621bebcc65051522ffd69abe25907f615
parente49289dfb788ce47af2939621540fa97abe318ae
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
Makefile