Bug#479169: update-grub suddenly outputs double / with separate /boot partition

Tue May 6 12:24:51 UTC 2008

On Tuesday 06 May 2008, you wrote:
> On Sat, May 03, 2008 at 01:32:50PM +0200, Frans Pop wrote:
> > After installing a new kernel I suddenly noticed that update-grub has
> > started to use double leading / before the kernels. Probably related to
> > the fact that I have a separate /boot partition.
>
> Please can you test the attached patch?

Solves the problem for me.

Thx.