jmd pushed a commit to branch wip-installer
in repository guix.
commit 837b900f271aad37a34cdc1f4302b11cc6362faf
Author: Ludovic Courtès <[email protected]>
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.
+
+@item @code{grub} (default: @code{grub})
+The GRUB package to use.
@end table
@end deftp
