doc: Update default value of terminal-outputs.

* doc/guix.texi: (terminal-outputs) Update default value.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

diff --git a/doc/guix.texi b/doc/guix.texi
index d60f453..98c5d1e 100644 (file)
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -24132,7 +24132,7 @@ The bootloader theme object describing the theme to use.  If no theme
 is provided, some bootloaders might use a default theme, that's true
 for GRUB.
 
-@item @code{terminal-outputs} (default: @code{'gfxterm})
+@item @code{terminal-outputs} (default: @code{'(gfxterm)})
 The output terminals used for the bootloader boot menu, as a list of
 symbols.  GRUB accepts the values: @code{console}, @code{serial},
 @code{serial_@{0-3@}}, @code{gfxterm}, @code{vga_text},