Re: double // in shellscript output

[Mats Bengtsson]

Quoting Christian Herzberg <address@hidden>:

> Version lilypond-2.11.27-1.linux-x86
>
> While installing lilyponds develop-version as a user on debian stable 
> (etch) I
> realize a mistake in output. Unfortunately I have know knowledge 
> about "diff -u"
> and editing binary files...
>
> I made it down to line 217.
>    ${prefix}/bin/uninstall-lilypond
>
> As user "test" it made:
> "    /home/test//bin/uninstall-lilypond"
>
> with a doubled "//".

This is only an esthetical problem since the shell is able to handle 
the doubled // without any problems.

Also, I guess the idea is that you specify prefix with an ending
"/", which gives the desired output.

   /Mats