[PATCH] Capitalise "Linux"

[Colin Watson]

"Linux" is a proper noun and should be capitalised in user-visible text.

Index: util/grub.d/10_linux.in
===================================================================
--- util/grub.d/10_linux.in     (revision 2297)
+++ util/grub.d/10_linux.in     (working copy)
@@ -141,9 +141,9 @@
     linux_root_device_thisversion=${GRUB_DEVICE}
   fi
 
-  linux_entry "${OS}, linux ${version}" \
+  linux_entry "${OS}, Linux ${version}" \
       "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
-  linux_entry "${OS}, linux ${version} (recovery mode)" \
+  linux_entry "${OS}, Linux ${version} (recovery mode)" \
       "single ${GRUB_CMDLINE_LINUX}"
 
   list=`echo $list | tr ' ' '\n' | grep -vx $linux | tr '\n' ' '`

Thanks,

-- 
Colin Watson                                       address@hidden