diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-12-19 15:40:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-19 17:51:00 +0100 |
| commit | 9b06f503f406fc51dcf400bce97b37fd5970dd95 (patch) | |
| tree | 05800342bfa284057dde5f722dca13b58e837967 | |
| parent | 7fcf2a0b94ce3316611be959bc9e78d9ac962b89 (diff) | |
doc: Mention 'grub' field of 'grub-configuration'.
* doc/guix.texi (GRUB Configuration): Add 'grub' field.
| -rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index b5592e00297..a9f9851394c 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 | |||
| 12562 | 12562 | ||
| 12563 | @item @code{theme} (default: @var{%default-theme}) | 12563 | @item @code{theme} (default: @var{%default-theme}) |
| 12564 | The @code{grub-theme} object describing the theme to use. | 12564 | The @code{grub-theme} object describing the theme to use. |
| 12565 | |||
| 12566 | @item @code{grub} (default: @code{grub}) | ||
| 12567 | The GRUB package to use. | ||
| 12565 | @end table | 12568 | @end table |
| 12566 | 12569 | ||
| 12567 | @end deftp | 12570 | @end deftp |