From 1666334b0a0e53e389d08c0d24a689a518dfcdbb Mon Sep 17 00:00:00 2001 From: Pete Travis Date: Thu, 30 Jan 2014 00:32:33 -0700 Subject: minor markup corrections --- en-US/GRUB-runtime.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/en-US/GRUB-runtime.xml b/en-US/GRUB-runtime.xml index ee3d633..22689c9 100644 --- a/en-US/GRUB-runtime.xml +++ b/en-US/GRUB-runtime.xml @@ -8,7 +8,7 @@
Changing GRUB entries at boot - Changing selection or adding arguments to a GRUB menu entry at boot time can be useful for testing or troubleshooting purposes. You might have a graphics issue to troubleshoot by booting temporarily into a non-graphical target, a hardware issue to work around with a kernel parameter, or a problem to resolve by selecting an alternate kernel. This section covers the procedure for adding boot arguments, see for some arguments you might use. + Changing selection or adding arguments to a GRUB menu entry at boot time can be useful for testing or troubleshooting purposes. You might have a graphics issue to troubleshoot by booting temporarily into a non-graphical target, a hardware issue to work around with a kernel parameter, or a problem to resolve by selecting an alternate kernel. This section covers the procedure for adding boot arguments, see for some arguments you might use. @@ -118,7 +118,7 @@ - Type in your desired parameters and press Ctrlx to boot. See for some parameters you might find useful. + Type in your desired parameters and press Ctrlx to boot. See for some parameters you might find useful. -- cgit