diff options
| -rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index b5592e0029..a9f9851394 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -12562,6 +12562,9 @@ The number of seconds to wait for keyboard input before booting. Set to @item @code{theme} (default: @var{%default-theme}) The @code{grub-theme} object describing the theme to use. + +@item @code{grub} (default: @code{grub}) +The GRUB package to use. @end table @end deftp |