Re: GRUB Manual Apparent Typo

[Daniel Kiper]

Hi Patrick,

On Fri, Jan 17, 2020 at 03:34:08PM -0500, Patrick Higgins wrote:
> GRUB Developers,
>
> There appears to be a typo in the GRUB manual's Table of Contents at
> https://www.gnu.org/software/grub/manual/grub/html_node/index.html. List
> item 16.3.21 reads "linux", but this link actually goes to
> https://www.gnu.org/software/grub/manual/grub/html_node/devicetree.html#devicetree
> .
>
> Also, the site lists Bruce Dubbs as the maintainer (see
> https://www.gnu.org/software/grub/), but I contacted him first, and he said
> that he's not working with GRUB any more.

Thanks for the report. I will take a look at this in a week or two. I am
busy with FOSDEM stuff right now.

Daniel