+2013-01-27 Andrey Borzenkov <arvidjaar@gmail.com>
+
+ * util/grub-install.in: change misleading comment about
+ device.map creation
+
2013-01-27 Vladimir Serbinenko <phcoder@gmail.com>
* grub-core/normal/menu_text.c (grub_menu_init_page): Fix behaviour
rm -f "$device_map"
fi
-# Create the device map file if it is not present.
+# Device map file is optional
if test -f "$device_map"; then
# Make sure that there is no duplicated entry.
tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' "$device_map" \