diff --git a/doc/guix.texi b/doc/guix.texi index b5592e00297..a9f9851394c 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