GRUB_CMDLINE_XEN_DEFAULT.
Reported by: Marc Warne (GigaTux) <gigatux>
+2013-04-11 Vladimir Serbinenko <phcoder@gmail.com>
+
+ * docs/grub.texi: Fix description of GRUB_CMDLINE_XEN and
+ GRUB_CMDLINE_XEN_DEFAULT.
+ Reported by: Marc Warne (GigaTux) <gigatux>
+
2013-04-11 Vladimir Serbinenko <phcoder@gmail.com>
Import new gnulib.
@item GRUB_CMDLINE_XEN
@itemx GRUB_CMDLINE_XEN_DEFAULT
-The values of these options are appended to the values of
-@samp{GRUB_CMDLINE_LINUX} and @samp{GRUB_CMDLINE_LINUX_DEFAULT} for Linux
-and Xen menu entries.
+The values of these options are passed to Xen hypervisor Xen menu entries,
+for all respectively normal entries.
@item GRUB_CMDLINE_LINUX_XEN_REPLACE
@item GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT