grub-reboot no more sets saved_default

Remove reference to grub-default from description of saved default entry.

Also mention that GRUB_DEFAULT=saved depends on availability of environment
block.

diff --git a/ChangeLog b/ChangeLog
index a63e0bec1cbd153f9da1c3268f0792907afeef8b..5a8921a7aeaa22d0464dc504904b217779690212 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-11-10  Andrey Borzenkov <arvidjaar@gmail.com>
+
+       * docs/grub.texi (Simple configuration): Remove reference to
+       grub-reboot from saved default entry description - grub-default
+       does not use it anymore.
+
 2013-11-10  Vladimir Serbinenko  <phcoder@gmail.com>
 
        * configure.ac: Make efiemu test cflags match the cflags efiemu is

diff --git a/docs/grub.texi b/docs/grub.texi
index 58e04e288211f86797c5d85c1c40ddd230eae244..8ef4e96af4f5e49b0aa1c1bf98f584337c643287 100644 (file)
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -1277,8 +1277,9 @@ works it's not recommended since titles often contain unstable device names
 and may be translated
 
 If you set this to @samp{saved}, then the default menu entry will be that
-saved by @samp{GRUB_SAVEDEFAULT}, @command{grub-set-default}, or
-@command{grub-reboot}.
+saved by @samp{GRUB_SAVEDEFAULT} or @command{grub-set-default}.  This relies on
+the environment block, which may not be available in all situations
+(@pxref{Environment block}).
 
 The default is @samp{0}.
 
@@ -1287,7 +1288,7 @@ If this option is set to @samp{true}, then, when an entry is selected, save
 it as a new default entry for use by future runs of GRUB.  This is only
 useful if @samp{GRUB_DEFAULT=saved}; it is a separate option because
 @samp{GRUB_DEFAULT=saved} is useful without this option, in conjunction with
-@command{grub-set-default} or @command{grub-reboot}.  Unset by default.
+@command{grub-set-default}.  Unset by default.
 This option relies on the environment block, which may not be available in
 all situations (@pxref{Environment block}).