Bug#1127624: grub2-common: upgrade yields inconsistent /usr/share/doc, breaking "dpkg -S"

[Vincent Lefevre]

And other symbolic links should have been updated:

cventin:~> ls -ld /usr/share/doc/grub*
drwxr-xr-x 3 root root 4096 2026-02-10 17:06:39 /usr/share/doc/grub-common
lrwxrwxrwx 1 root root   11 2015-09-06 03:13:12 /usr/share/doc/grub-pc -> grub-common
lrwxrwxrwx 1 root root   11 2015-09-06 03:13:12 /usr/share/doc/grub-pc-bin -> grub-common
lrwxrwxrwx 1 root root   11 2015-09-06 03:13:12 /usr/share/doc/grub2-common -> grub-common

i.e. grub-pc and grub-pc-bin should point to grub2-common
(which should have been a real directory, and probably is
after a new installation, and grub-common should have been
no longer there after the grub-common package got removed).

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)