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

[Robert Millan]

severity 479169 minor
thanks

On Sat, May 03, 2008 at 01:32:50PM +0200, Frans Pop wrote:
> Package: grub
> Version: 0.97-38
> Severity: important
> 
> 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?

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: duped_slashes.diff
Type: text/x-diff
Size: 372 bytes
Desc: not available
Url : http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20080506/3c924db3/attachment.diff