summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-12-19 15:40:04 +0100
committerLudovic Courtès <ludo@gnu.org>2016-12-19 17:51:00 +0100
commit9b06f503f406fc51dcf400bce97b37fd5970dd95 (patch)
tree05800342bfa284057dde5f722dca13b58e837967 /doc
parent7fcf2a0b94ce3316611be959bc9e78d9ac962b89 (diff)
doc: Mention 'grub' field of 'grub-configuration'.
* doc/guix.texi (GRUB Configuration): Add 'grub' field.
Diffstat (limited to 'doc')
-rw-r--r--doc/guix.texi3
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