On Sun, Nov 20, 2022 at 11:20:01AM +0100, Paul Menzel wrote: > Signed-off-by: Paul Menzel <pmen...@molgen.mpg.de> > --- > docs/grub.texi | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/docs/grub.texi b/docs/grub.texi > index 50c811a88..1c94cf192 100644 > --- a/docs/grub.texi > +++ b/docs/grub.texi > @@ -925,7 +925,7 @@ magic. > > GRUB has three distinct boot methods: loading an operating system > directly, using kexec from userspace, and chainloading another > -bootloader. Generally speaking, the first two are more desirable > +boot loader. Generally speaking, the first two are more desirable
I am OK with this change but it would be nice if you do the same in other places in this file if needed and in docs/grub-dev.texi file too. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
