From 9b06f503f406fc51dcf400bce97b37fd5970dd95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 19 Dec 2016 15:40:04 +0100
Subject: [PATCH] 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 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