* docs/grub.texi (Simple configuration): Tidy up formatting.

diff --git a/ChangeLog b/ChangeLog
index d8a8d1fc25fbbe0b76055d6150fb5caa373641f8..103706af087134a79470bb14eb1e6860b19514d9 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-09  Colin Watson  <cjwatson@ubuntu.com>
+
+       * docs/grub.texi (Simple configuration): Tidy up formatting.
+
 2011-03-07  Szymon Janc <szymon@janc.net.pl>
 
        * grub-core/fs/zfs/zfs.c (zap_leaf_lookup):

diff --git a/docs/grub.texi b/docs/grub.texi
index 590e6afb7a50d0b20559be9205ac7f5b743f2839..83bd80023245e07f0b05df83a4de6541fad3bc9d 100644 (file)
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -1036,8 +1036,8 @@ 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.
-The remarks of @pxref{Changes from GRUB Legacy} on the availability
-of @samp{save_env} apply.
+@samp{save_env} may not be available in all situations
+(@pxref{Changes from GRUB Legacy}).
 
 @item GRUB_TIMEOUT
 Boot the default entry this many seconds after the menu is displayed, unless