On Sat, Feb 01, 2014 at 11:12:49AM +0100, Johannes Rohr wrote: > Package: grub2-common > Version: 2.00-22 > Severity: normal > > This is the same as bug #484074 which was apparently fixed years ago. The GNU > info pages are missing from the package, which is not good, given the > complexity of GRUB 2 configuration
I don't get it. <cjwatson@amber ~/src/debian/grub2>$ dpkg -c grub2-common_2.00-22_i386.deb | grep info drwxr-xr-x root/root 0 2013-12-12 01:55 ./usr/share/info/ -rw-r--r-- root/root 29873 2013-12-12 01:54 ./usr/share/info/grub-dev.info.gz -rw-r--r-- root/root 70382 2013-12-12 01:54 ./usr/share/info/grub.info.gz (I also checked the amd64 version on a Debian mirror; same result.) -- Colin Watson [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
