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
 because you don't need to install or maintain other boot loaders and
 GRUB is flexible enough to load an operating system from an arbitrary
 disk/partition. However, chainloading is sometimes required, as GRUB
-- 
2.38.1


_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to