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 <[email protected]> - 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)
