03/07: doc: Mention 'grub' field of 'grub-configuration'.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 9b06f503f406fc51dcf400bce97b37fd5970dd95
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