Bug#737291: grub2-common: info pages missing

[Colin Watson]

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 at 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                                       [cjwatson at debian.org]