Bug#61753: grub: grub info refers to /lib/grub/ instead of /usr/share/grub

[Chris Pimlott]

On 18 Apr 2000, Gordon Matzigkeit wrote:

> Could you be more specific, please?  I've searched through the
> documentation, and found no references to /lib/grub.  Either the bug
> is fixed, or you are referring to some docs that I didn't look at.

        Seems to be fixed.  I filed the bug under potato, and now I don't
see it either under woody.

        Chris Pimlott