[PATCH] Avoid most double slashes

[Francisco Vila]

Hello.  I've been very busy parsing doc logs and there is something
thatkind of annoys me: double slashes everywhere.  IMHO directories in
build scripts should end in their bare names if they are going to be
joined with a filename by means of a slash anyway, NOT end in slash
'just in case'.

I know that you shouldn't fix what doesn't need fixing; at least this
does not break anything, this is the test I've made with the patch
applied:

time ( make clean && ./autogen.sh && make && make doc-clean && make doc )

[32Mb of output later...]

Mirroring...
Processing HTML pages for offline target...
find ./out-www/offline-root -type l | xargs rm -f
make[1]: Leaving directory `/home/fravd/source/lilypond'

real    105m17.622s
user    93m34.935s
sys     10m16.579s

So the program builds, the docs build and look good, and 'make
install' succeeds.

Attached.

-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com

0004-Doc-additions-to-Chinese-documentation-and-web.patch
Description: Text Data