bug#26551: [PATCH] doc: Replace --no-grub by --no-bootloader.

[Mathieu Othacehe]

* doc/guix.texi: Replace all references to "--no-grub" by
  "--no-bootloader".
---

Hi Guix,

Here's a follow up of patch a9eadc06ac57846aaa8fdeb550b32e44f59c9437.
I'm not sure whether or not I shall mention that --no-grub still exists
for compatibility reasons.

Thanks,

Mathieu

 doc/guix.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 810139dbc..fd3483ee5 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -7413,7 +7413,7 @@ guix system init /mnt/etc/config.scm /mnt
 
 @noindent
 This copies all the necessary files and installs GRUB on
address@hidden/dev/sdX}, unless you pass the @option{--no-grub} option.  For
address@hidden/dev/sdX}, unless you pass the @option{--no-bootloader} option.  
For
 more information, @pxref{Invoking guix system}.  This command may trigger
 downloads or builds of missing packages, which can take some time.
 
@@ -15094,7 +15094,7 @@ overwritten.  This behavior mirrors that of 
@command{guix package}
 
 It also adds a GRUB menu entry for the new OS configuration, and moves
 entries for older configurations to a submenu---unless
address@hidden is passed.
address@hidden is passed.
 
 @quotation Note
 @c The paragraph below refers to the problem discussed at
@@ -15174,7 +15174,7 @@ needed for the system to operate correctly---e.g., the 
@file{/etc},
 @file{/var}, and @file{/run} directories, and the @file{/bin/sh} file.
 
 This command also installs GRUB on the device specified in
address@hidden, unless the @option{--no-grub} option was passed.
address@hidden, unless the @option{--no-bootloader} option was passed.
 
 @item vm
 @cindex virtual machine
-- 
2.12.2