84/155: doc: Mention 'grub' field of 'grub-configuration'.

[John Darrington]

jmd pushed a commit to branch wip-installer
in repository guix.

commit 837b900f271aad37a34cdc1f4302b11cc6362faf
Author: Ludovic Courtès <address@hidden>
Date:   Mon Dec 19 15:40:04 2016 +0100

    doc: Mention 'grub' field of 'grub-configuration'.
    
    * doc/guix.texi (GRUB Configuration): Add 'grub' field.
---
 doc/guix.texi |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/guix.texi b/doc/guix.texi
index b5592e0..a9f9851 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.
+
address@hidden @code{grub} (default: @code{grub})
+The GRUB package to use.
 @end table
 
 @end deftp