Bug#474550: grub-splashimages should not provide /boot/grub

[Harald Dunkel]

Krzysztof Burghardt wrote:
> Harald Dunkel wrote:
>> I would guess this is not supposed to happen:
> [...]
>> dpkg - warning: while removing grub-splashimages, directory `/boot/grub' not empty so not removed.
> 
> I do not understand what happened? /boot/grub/splashimages was removed,
> dpkg check that /boot/grub still contains some other files and did not
> removed /boot/grub.

Sorry, I thought that grub-splashimages depends upon grub.
Please close this bug report.


Regards

Harri