Fix for grub-install

[Pavel Roskin]

Hello!

First of all many thanks to the GRUB developers who made version 0.90.
It exceeds my demands by a wide margin.  I mean not only features (I've
never seen a VSTa filesystem) but also reliability :-)

There is one minor fix that I'd like to make in grub-install.in - it
should recommend using `--recheck', not editing device.map by hand.  Some
people will edit it anyway, but it's a different story.

I'm asking for approval because it has been a long time since I committed
anything myself.

ChangeLog:
        * util/grub-install.in: Change wording of the final message.
        Recommend using `--recheck' if device.map doesn't look right.

---------------------------
--- util/grub-install.in
+++ util/grub-install.in
@@ -325,14 +325,17 @@

 rm -f $log_file

-# Prompt the user to check if the device map is correct.
-echo "Installation finished. No error reported."
-echo "This is the contents of the device map $device_map."
-echo "Check if this is correct or not. If any of the lines is incorrect,"
-echo "fix it and re-run the script \`grub-install'."
-echo
+echo "Installation finished. No error encountered."

-cat $device_map
+# Prompt the user to check if the device map is correct.
+if test $recheck != yes; then
+    echo "This is the contents of the device map $device_map."
+    echo
+    cat $device_map
+    echo
+    echo "If this file doesn't look right it is recommended that"
+    echo "you re-run this script with the \`--recheck' option."
+fi

 # Bye.
 exit 0
---------------------------

Regards,
Pavel Roskin